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, formal methods, and concurrency.I am responsible for teaching multiple theoretical courses, ranging from programming languages to formal methods to functional programming. I am also involved in supervision of various undergraduates on various projects. I work regularly in and on the Haskell programming language and the Agda proof assistant. Much of my research work involves these languages.
Originally part of my doctorate and now as ongoing research work, I designed the Cogent programming language, and I remain a contributor to its associated verification framework and compiler. This project is part of the long-term vision of the Trustworthy Systems team at CSIRO Data61, to reduce the cost and effort required to make formally verified systems. In the past I have also worked with the Trustworthy Systems team on the l4.verified project and tools for the Isabelle theorem prover. I have also been affiliated with the DPH and Accelerate projects as my PhD supervisor was Prof. Gabriele Keller.
This contains my blog as well as a publication list, and other miscellany.
- What is abstraction anyway? - July 8, 2017
- Trifecta at Nara - August 1, 2016
- Publication Storm for Cogent! - June 11, 2016
…or you can find more in the archives.