
I have been an academic at UNSW since completing my PhD in 1991. I am a full professor since 2002. Since 2009 I hold the John Lions Chair of Operating systems, and since 2011 the title of Scientia Professor.
Since its creation in 2003 I was a research program leader at NICTA, where I created what is now the Trustworthy Systems group, spanning NICTA and UNSW. NICTA got absorbed into CSIRO in 2017, and since 2021 the group is wholly at UNSW.
I have co-founded Open Kernel Labs in 2006 for commercialising my microkernel research outcomes. This has led to the L4-embedded microkernel being deployed on billions of mobile devices, including the secure enclave of all recent iOS devices, where it protects security-critical operations. OK Labs was sold to General Dynamics in 2012.
I am co-founder of Munich-based Secure Elements GmbH, and serve as Chief Scientist (Software) at its joint-venture company HENSOLDT Cyber GmbH, which develops a secure processor with an operating system based on my group's seL4 microkernel.
My Teaching
I teach Advanced Operating Systems.