David Greenaway is a Senior Software Engineer at Apple, passionate about low-level systems, kernel programming, and the formal verification of software. They previously served as a Research Engineer at NICTA, where they developed secure system prototypes and worked on Linux ports for microkernels. In addition, David earned a PhD in Computer Science from the University of New South Wales, focusing on tools for the formal verification of low-level systems code, and they have significant experience as a Senior Software Engineer at Google and as a Software Engineer at Open Kernel Labs. David holds a Bachelor's degree in Computer Science with First Class Honours and the University Medal from the same institution.
This person is not in the org chart
This person is not in any teams
This person is not in any offices