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.
Location
Sydney, Australia