Liam O'Connor-Davis
Research Assistant
Contact Details
| Phone: | +61 (02) 9376 2148 |
|---|---|
| Email: | Liam.OConnor-Davis@nicta.com.au |
| Web: | http://liamoc.net |
More contact information is available at the SSRG Contact page.
Research Interests
Programming Languages and Systems, Type Theory, Category Theory, Concurrent and Distributed Systems, Functional Programming and Formal Verification.
Projects
Current |
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
Qualifications
BSc. (Hons 1st Cl.) Computer Science (UNSW)
Affiliations
Programming Languages and Systems Research Group, UNSW
Recognition and Awards
Numerous academic awards for undergraduate performance at UNSW.