I am Liam O'Connor, a computer science researcher, student and teacher, currently working at UNSW. I specialise in programming languages and type systems, verification, 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.

Until recently I was working on the Trustworthy File Systems project at NICTA. 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 blog category-theory cdsl comp3151 competition compilers concurrency conference coq courses cpp edsls file-systems foundations fp-syd functional hakyll haskell imperative latex lecture linear-types monads nicta paradox parallelism patch-theory plos publication quickcheck reasoning sapling semantics separation-logic slides stm term-representation theorem-proving total type-theory types unsw verification version-control