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 |