University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Luke Ong

Personal photo - Luke Ong
Dr Luke Ong
Professor of Computer Science
Director of Graduate Studies
Tutorial Fellow, Merton College
Luke.Ong AT cs DOT ox DOT ac DOT uk
+441865273839 (fax)

Room 340, Wolfson Building, Parks Road, Oxford OX1 3QD


My research has mainly been in Semantics of Computation, which is concerned with the development and analysis of mathematical structures that model computation using ideas and tools from Mathematical Logic. More recently my research has tended to be motivated by problems of an algorithmic nature. Here is a summary in HTML.


Home page

Selected Publications

View all

Manage publications

Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types

C.−H. Luke Ong and Steven J. Ramsay

In Proceedings of the 38th ACM SIGACT−SIGPLAN Symposium on the Principles of Programming Languages (POPL '11). 2011.

The Safe Lambda Calculus

William Blum and C.−H. Luke Ong

In Logic Methods in Computer Science. Vol. 5. No. 1. 2009.

Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems

M. Hague and C.−H. L. Ong

In FoSSaCS. 2007.

Long Version (pdf)





Completed Projects

Current Students

Past Students

Christopher Broadbent
Personal photo - Matthew Hague
Matthew Hague
David Hopkins
Personal photo - Steven Ramsay
Steven Ramsay
Yong Xie