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
|
 |
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
|
 |
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 |