Skip to main content

Liam O'Connor-Davis

Liam O'Connor-Davis
PhD Student

Research Interests

Programming Languages and Systems, Type Theory, Category Theory, Concurrent and Distributed Systems, Functional Programming and Formal Verification.

Contact Details

Phone: +61 2 9376 2148

More contact information is available at the Contact page.

Photo of Liam O'Connor-Davis



trustworthy file systems. l4.verified - formal verification of an operating system kernel.

Career Summary

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.

NICTA Papers


Abstract PDF Liam O'Connor-Davis, Gabriele Keller, Sidney Amani, Toby Murray, Gerwin Klein, Zilin Chen and Christine Rizkallah
CDSL version 1: Simplifying verification with linear types
Technical Report, NICTA, October, 2014


PDF Gabriele Keller, Toby Murray, Sidney Amani, Liam O'Connor-Davis, Zilin Chen, Leonid Ryzhyk, Gerwin Klein and Gernot Heiser
File systems deserve verification too!
Workshop on Programming Languages and Operating Systems (PLOS), pp. 1–7, Farmington, Pennsylvania, USA, November, 2013
A revised version of this paper was published in Operating Systems Review, Volume 48, Issue 1, January 2014, pages 58-64.

Served by Apache on Linux on seL4.