Research output per year
Research output per year
DR
Accepting PhD Students
My main research interests focus on the fruitful intersection of programming languages and formal methods. In particular, I am interested in type systems and type theories as ways to reduce cost of systems verification, the integration of automatic and manual verification techniques, and refinement frameworks and models that allow for both rich specifications and efficient implementations.
BSc (Hons.) Computer Science, University of New South Wales, 2012
PhD Computer Science, University of New South Wales, 2019
Liam O'Connor is a Lecturer in Programming Languages for Trustworthy Systems at the University of Edinburgh in the School of Informatics and part of the Laboratory for Foundations of Computer Science. He received his BSc Hons. degree in 2012 from the University of New South Wales in Sydney, Australia. From 2012 he worked at National ICT Australia (now data61, part of CSIRO) on formal verification of software systems including the formally verified microkernel seL4. This work eventually culminated in his doctorate, which he received in 2019. For his doctorate he designed the functional systems programming language Cogent, which includes a verification framework based around certifying compilation. Liam has also published in the area of dependently-typed programming and proving, and has other interests ranging from concurrency to software engineering.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution