Home
Welcome
I am Liam O'Connor, a computer science researcher and teacher, currently working at NICTA and UNSW. I specialise in programming languages and type systems, compilers, formal methods, concurrency and parallel programming.
As a member of the UNSW PLS Group, I work regularly in and on the Haskell programming language and the Agda proof assistant. I have strong interest in the PLS projects DPH, Accelerate and Disciple.Recently, at NICTA, I have been working on the Trustworthy File Systems project. In the past I have worked on the l4.verified project and tools for the Isabelle theorem prover.
This contains my blog as well as a CV and other miscellany.
Posts
…or you can find more in the archives.