Skip to main content

Luke Ong

Personal photo - Luke Ong

Professor Luke Ong

Professor of Computer Science


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

Past Students

Mario Alvarez-Picallo
Toby Cathcart Burn
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
Tim Reichelt
Marcelo Sousa
Angus Tayler
Dominik Wagner
Yong Xie
Chang Yan