Liam O'Connor

Registered user since Wed 31 Aug 2016

Name: Liam O’Connor

Bio: Liam is a PhD student at UNSW Australia working on Trustworthy Systems projects with Data61 at CSIRO (formerly known as NICTA). His PhD work focuses on the use of linear typed languages to provide easy-to-reason-about semantics for formal verification of operating system components. More broadly, his research interests include automated proof and reasoning, particularly in the context of dependently typed programming languages, type inference, static analysis, and concurrency.

Country: Australia

Affiliation: UNSW

Personal website:

Research interests: Type systems, formal methods, linear types, dependent types, concurrency


TyDe 2019 Author of Deferring the Details and Deriving Programs within the TyDe 2019-track
PriSC 2019 Author of A Data Layout Description Language for Cogent within the PriSC 2019-track
ICFP 2018 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
TyDe 2017 Committee Member in Program Committee within the TyDe 2017-track
ML 2016 Author of Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML within the ML-track
TyDe 2016 Author of Applications of Applicative Proof Search within the TyDe-track
ICFP 2016 Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track