C.-H. Luke Ong

C.-H. Luke Ong is Professor of Computer Science and Director of Graduate Studies at the Department of Computer Science, University of Oxford, and Tutorial Fellow at Merton College. He holds a BA in Mathematics (1984, Triple First) and a Postgraduate Diploma in Computer Science (1985, Distinction) from University of Cambridge, and PhD in Computer Science (1988) from Imperial College University of London. After positions at National University of Singapore (1991) and Trinity College Cambridge (1992-1993), he joined Oxford in 1994, becoming Reader in 2002 and Professor in 2004.

His research spans multiple areas of theoretical computer science with recent focus on probabilistic programming, higher-order model checking, and semantics of computation. His work bridges theoretical foundations with practical applications in program verification and analysis. Ong has made significant contributions to game semantics, lambda calculus, and type theory, with recent work extending into algorithmic game theory and probabilistic computation.

Ong's publication record shows a clear evolution from foundational work in semantics toward practical applications in verification and probabilistic programming. His recent articles demonstrate increasing focus on bridging theoretical computer science with practical problems in machine learning, probabilistic inference, and program analysis, particularly through higher-order model checking techniques applied to modern programming paradigms.

• General Chair of ACM/IEEE Symposium on Logic in Computer Science (LICS)
• Vice Chair of ACM Special Interest Group in Logic and Computation (SIGLOG)
• Member of European Association of Theoretical Computer Science (EATCS)
• Chairman of Singapore's Expert Panel on Mathematics and Informatics (2006-2014)
• Member of Singapore's Academic Research Council (since 2013)

Ong has supervised 20 doctoral students to completion and currently co-supervises 9 doctoral candidates. His research has been supported by numerous grants from EPSRC and international collaborations. He has served as PC Chair for major conferences including LICS 2007, CSL 2005, FoSSaCS 2010, and TLCA 2011, demonstrating significant leadership in the theoretical computer science community.

He leads research in the Centre for Metacomputation at Oxford, with active projects in higher-order model checking, algorithmic game semantics, and verification of concurrent systems. His work with the Games for Design and Verification research network has fostered international collaboration across Europe and Asia.