I am Liam O'Connor, a computer science researcher, student 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.


…or you can find more in the archives.


agda aplas cdsl comp3151 competition concurrency conference coq courses cpp edsls file-systems fp-syd functional haskell imperative lecture linear-types monads nicta parallelism plos publication reasoning sapling semantics slides stm term-representation theorem-proving total types unsw verification