Skip to main content

Luke Ong

Personal photo - Luke Ong

Professor Luke Ong

Professor of Computer Science

Tutorial Fellow, Merton College

E: Luke.Ong AT cs DOT ox DOT ac DOT uk
T: +441865283522

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


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.

Selected Publications

View AllManage publications



Completed Projects

Current Students


Peixin Wang
Research Associate

Past Students

Mario Alvarez-Picallo
Yuanliang Chen
Conrad Cotton-Barratt
David Hopkins
Alex Horn
Egor Ianovski
Jerome Jochems
Jonathan Kochems
David Landsberg
Lihao Liang
Carol Mak
Thomas Mattinson
Rolf Morel
Robin Neatherway
Marcelo Sousa
Angus Tayler
Yong Xie
Chang Yan

Past Researchers

Martin Lester
Matthijs Vákár