Liam O'Connor-Davis

Dr. Liam O'Connor-Davis is a Senior Lecturer in the School of Computing at The Australian National University (ANU). He holds a PhD and BSc (Hons) in Computer Science from the University of New South Wales (UNSW), awarded in 2019 and 2013, respectively. His research interests include type systems, formal methods, and systems programming, as evidenced by his doctoral work on 'Type Systems for Systems Types' and his undergraduate project 'Formalising GHC's Type System'.

He has held an external affiliation as a Lecturer at the University of Edinburgh until July 2024. His academic background emphasizes foundational aspects of programming languages and software engineering. Despite no explicit publications listed here, his educational focus suggests contributions to theoretical computer science and practical system implementations.