Programming Languages and Systems, Type Theory, Category Theory, Concurrent and Distributed Systems, Functional Programming and Formal Verification.
trustworthy file systems. l4.verified - formal verification of an operating system kernel.
Software Engineer at Google, Tutor at UNSW, Tech Lead at Mudo Media
BSc. (Hons 1st Cl.) Computer Science (UNSW)
Programming Languages and Systems Research Group, UNSW
Recognition and Awards
Numerous academic awards for undergraduate performance at UNSW.