Scholar
Liam O'Connor
Google Scholar ID: PDIijq8AAAAJ
The Australian National University and The University of Edinburgh
Programming Languages
Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
461
H-index
11
i10-index
14
Publications
20
Co-authors
7
list available
Publications
2 items
The Infinite, in Finite Time
2026
Cited
0
Uniqueness is Separation
2026
Cited
0
Co-authors
4 total
Christine Rizkallah
Senior Lecturer at the University of Melbourne
Gerwin Klein
Proofcraft and UNSW
Toby Murray
School of Computing and Information Systems, University of Melbourne
Gernot Heiser
Professor of Computer Science, University of New South Wales
