Personal profile
Qualifications
PhD, BSc (Hons)
Education/Academic qualification
Computer Science, PhD, Type Systems for Systems Types, University of New South Wales
Award Date: 23 Oct 2019
Computer Science, Bachelor, Formalising GHC's Type System, University of New South Wales
Award Date: 20 Mar 2013
External Scholarly Memberships and Affiliations
Lecturer, University of Edinburgh
… → Jul 2024