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 cdsl comp3151 competition compilers concurrency conference coq courses cpp edsls file-systems foundations fp-syd functional haskell imperative lecture linear-types monads nicta paradox parallelism plos publication reasoning sapling semantics slides stm term-representation theorem-proving total type-theory types unsw verification