Accepting PhD Students

If you made any changes in Pure these will be visible here soon.

Personal profile

Research Interests

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. 


Dive into the research topics where Liam O'Connor is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or