David Greenaway is a Senior Software Engineer at Apple, with a passion for low-level systems, kernel programming, and safety-critical systems. Previously, they worked as a Research Engineer at NICTA, focusing on developing secure systems and formal verification, as well as a Software Engineer at Open Kernel Labs, where they designed a performance-optimized microkernel. David pursued a PhD in Computer Science at the University of New South Wales, developing tools to simplify C verification. They also gained experience as a Senior Software Engineer at Google since 2015. David holds a Bachelor's degree in Computer Science, awarded with First Class Honours and the University Medal, from the same university.
This person is not in the org chart
This person is not in any teams
This person is not in any offices