Find out how ICT can support biomedical and clinical researchFind out more. Managing complexity by developing new tools and processes. Managing Complexity

David Greenaway - Research Engineer

Trustworthy Embedded Systems Project

Research Interests

David's research interests include microkernel-based operating systems, embedded virtualisation and task scheduling on single-core and multi-core systems.

NICTA Projects

David is part of NICTA's Embedded Real-time and Operating Systems (ERTOS) research group.

Qualifications

David holds a Bachelor of Science (Computer Science) with first class honours and the university medal from the University of New South Wales.

Contact Details

Phone: +61 2 83060564
Email:david.greenaway@nicta.com.au

More contact information is available at the ERTOS Contacts page.

Publications

NICTA Papers

2010

plain text to be published June Andronick, David Greenaway and Kevin Elphinstone
Towards proving security in the presence of large untrusted components
Proceedings of the 5th Workshop on Systems Software Verification, Vancouver, Canada, October, 2010

2007

plain text PDF Kevin Elphinstone, David Greenaway and Sergio Ruocco
Lazy scheduling and direct process switch — merit or myths?
Proceedings of the 3rd Workshop on Operating System Platforms for Embedded Real-Time Applications, Pisa, Italy, July, 2007
Preliminary version