Liam O'connor
Senior Lecturer at The Australian National University
Canberra, Australia
Summary
👤
Senior🎓
Top SchoolLiam O'connor is a Senior Lecturer and computer scientist with 17 years’ experience focused on programming languages, formal methods, and type systems, currently at The Australian National University and an Honorary Fellow at the University of Edinburgh. He specialises in the intersection of specifications and programming with software verification, bringing hands-on experience from work on the formally verified seL4 kernel and the Cogent project. A functional programmer at heart, he codes fluently in Haskell and also works in Swift, Rust and ML, applying dependent types, temporal logic and program calculi to build verifiable systems. His research and teaching span concurrency theory, process algebra and concurrency proof methods as well as lightweight formal methods for trustworthy systems. Outside academia he collects 1980s computers and writes 6502 Assembly, an avocation that informs his low-level intuition for system design. Conversational in Korean and versed in practical theorem proving, he pairs deep theoretical knowledge with extensive course design and real-world verification experience.
17 years of coding experience
4 years of employment as a software developer
BSc. with Hons., Computer Science, BSc. with Hons., Computer Science at University of New South WalesUNSW Sydney
English, Korean
Github Skills (116)
agda10
hakyll10
union10
hackage10
idris10
verification10
sat-solver10
tla10
1c10
sat10
dependent-types9
plutus9
coq9
type-theory9
programming-language9
Programming languages (13)
Github contributions (5)
liamoc/composition-tree
Sep 2015 - May 2018
Contributions:29 commits, 25 pushes, 1 branch in 2 years 7 months
compositionarbitrarymonoidstrees
liamoc/agda-snippets
Nov 2015 - Jun 2017
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
Contributions:30 commits, 25 pushes, 1 branch in 1 year 7 months
rendersnippetsagdarestliterate
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.