AeroLeads people directory · profile
Liam O'Connor Email & Phone Number
Senior Lecturer
at
The Australian National University
1 work email found
@liamoc.net
LinkedIn matched
✓ Verified May 2026
4 data sources
Profile completeness 100%
Current company
Role
Senior Lecturer
Location
Canberra, Australian Capital Territory, Australia
Company size
Who is Liam O'Connor? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Liam O'Connor is listed as Senior Lecturer at The Australian National University, a company with 7557 employees, based in Canberra, Australian Capital Territory, Australia. AeroLeads shows a work email signal at liamoc.net and a matched LinkedIn profile for Liam O'Connor.
Liam O'Connor previously worked as Senior Lecturer (Honorary) at The Australian National University and Honorary Fellow at The University Of Edinburgh. Liam O'Connor holds Doctor Of Philosophy, Computer Science from Unsw.
Company email context
Email format at The Australian National University
This section adds company-level context without repeating Liam O'Connor's masked contact details.
*@liamoc.net
68% confidence
AeroLeads found 1 current-domain work email signal for Liam O'Connor. Compare company email patterns before reaching out.
Profile bio
About Liam O'Connor
I'm a computer scientist specialising in programming languages, formal methods, and type systems. My main interest is in the intersection of specification and programming languages with software verification tools. I have significant experience in functional programming, particularly in Haskell. I also enjoy programming in languages such as Swift, Rust and ML. I have skills in traditional formal verification and theorem proving, including work on the formally verified seL4 kernel. I'm aware of many syntactic and semantic methods for data refinement, verification, model checking, and program derivation, and have some skill at concurrent and distributed programmming, including various approaches to concurrency abstraction (e.g process algebra) and concurrency proof methods. In my free time I collect 1980s computers and write a lot of 6502 Assembly.I am conversational in social and daily professional Korean, and I have some elementary knowledge of Japanese.Specialties: Temporal Logic, Program Logics and Calculi, Semantics, Functional Programming; Programming Languages; Formal Methods; Type Theory; Process Algebra; Concurrent Systems.
Listed skills include Distributed Systems, Software Design, Ocaml, C, and 20 others.
Current workplace
Liam O'Connor's current company
Company context helps verify the profile and gives searchers a useful next step.
The Australian National University
14 roles
Liam O'Connor work experience
A career timeline built from the work history available for this profile.
Senior Lecturer
CurrentProofs and Programming Languages, Lightweight Formal Methods
Jul 2024 - Present
Senior Lecturer (Honorary)
A temporary appointment until I took a permanent position at ANU
Oct 2023 - Jul 2024
Honorary Fellow
Current
Aug 2024 - Present
Lecturer
Programming Languages for Trustworthy Systems at the Laboratory for Foundations of Computer Science.
Jul 2020 - Jul 2024
Casual Lecturer
Initially teaching 1st year introductory courses and 2nd year engineering design and object oriented programming courses. Now lecturing specialised courses covering a wide range of topics:- Concurrency theory, proof methods- Dependent type systems in Agda- Formal semantics of programming languages- Program and data refinement calculi, deriving programs.
Jan 2009 - Jul 2020
Course Administrator
Managing assignment code, developing new course materials, and providing ancillary support to the lecturer for COMP3141, (Formal) Software System Design and Implementation and COMP3161, Concepts of Programming Languages.
Jun 2011 - Apr 2020
Senior Research Officer
Further research with the Cogent project and the Trustworthy Systems group.
Feb 2019 - Feb 2020
Jun 2015 - Jun 2019
Jan 2014 - Jun 2015
Jan 2013 - Jan 2014
Research Assistant (Verification)
Research work on formal verification (in Isabelle/HOL) of an operating system kernel at ERTOS, NICTA, particularly on extensions to the Isabelle theorem prover in ML.
Mar 2011 - Jan 2013
Tech Lead
Gunnago.Com
Developing a web application for travellers to share information with each other. Developed using Haskell web frameworks (Yesod) and a RESTful API.
Jul 2008 - Mar 2011
Software Engineer
Internship, working on a new product. Included exposure to concurrency control, including operational transforms, the mathematics behind this, and extensive experience developing large products in Java.
Nov 2009 - Feb 2010
2 education records
Liam O'Connor education
Doctor Of Philosophy, Computer Science
Bsc. With Hons., Computer Science
FAQ
Frequently asked questions about Liam O'Connor
Quick answers generated from the profile data available on this page.
What company does Liam O'Connor work for?
Liam O'Connor works for The Australian National University.
What is Liam O'Connor's role at The Australian National University?
Liam O'Connor is listed as Senior Lecturer at The Australian National University.
What is Liam O'Connor's email address?
AeroLeads has found 1 work email signal at @liamoc.net for Liam O'Connor at The Australian National University.
Where is Liam O'Connor based?
Liam O'Connor is based in Canberra, Australian Capital Territory, Australia while working with The Australian National University.
What companies has Liam O'Connor worked for?
Liam O'Connor has worked for The Australian National University, The University Of Edinburgh, University Of New South Wales, Unsw, and Csiro.
How can I contact Liam O'Connor?
You can use AeroLeads to view verified contact signals for Liam O'Connor at The Australian National University, including work email, phone, and LinkedIn data when available.
What schools did Liam O'Connor attend?
Liam O'Connor holds Doctor Of Philosophy, Computer Science from Unsw.
What skills is Liam O'Connor known for?
Liam O'Connor is listed with skills including Distributed Systems, Software Design, Ocaml, C, Agile Project Management, Ruby, Isabelle/Hol, and Agda.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the Liam O'Connor you were looking for.
View similar profiles
