Find Experts

Experts in Engineering
M Umit Atalay Nil Uzun Ayse Guliz Bilgin Altinoz M H FERRI ALIABADI Luo Guoqing DR GIULIANOALLEGRI Wasim Orfali PETER BEARMAN Hisham Tolbah Li Lihua Sunil Bhooshan DR PAUL BRUCE Xue Lingyun Daniel E. Acuna Prof. Dr. Ghanshyam Singh Yahya Kemal BAYKAL Li Dujuan Dr. Pradeep Kumar HE CHUN Dr. Rajiv Kumar View More
Dr Peter Hoefner

Conjoint Senior Lecturer
Computer Science and Engineering
Commonwealth Scientific and Industrial Research Organization (CSIRO)
Australia

Scientist Engineering
Biography

Dr. Höfner is Senior Research Scientist at Data 61, CSIRO (formerly NICTA) in Sydney, Australia. He is also Conjoint Senior Lecturer at the School of Computer Science and Engineering at The University of New South Wales.Research Interests in Research Interests,Mathematical Structures in Computing

Research Intrest

Mathematical Structures in Computing

List of Publications
A Timed Process Algebra for Wireless Networks with an Application in Routing (Extended Abstract). In Programming Languages and Systems 
Cardinality of Relations with Applications. In Discrete Mathematics
A Formal Specification of a CAN Bus Protocol Stack. In Models for Formal Analysis of Real Systems 

Global Scientific Words in Engineering

Experts in Australia
Catherine Abbott Dr Wendy Abigail Dr Meera Agar Dr Deb Agnew Dr Carol Aldous Dr Patrick Allington Dr Catherine Attard Luciano Beheregaray Corey Bradshaw Melissa Brown Louise Allen Carolyn Bailey Dr Louise Morin Dr Gavin Hunter Dr Tomasz Bednarz Dr Jason Dowling Ms Carly Siebentritt Dr Steve Rintoul Dr Ron Hoeke Dr Lev Bodrossy Dr Susan Wijffels Dr Olly Berry Dr Erin Bubner Leigh Burgoyne Karen Burke Da Silva View More