Luke Ong

Dr Luke Ong

Professor of Computer Science
Tutorial Fellow, Merton College

Luke.Ong AT comlab DOT ox DOT ac DOT uk
+441865283522
+441865273839 (fax)

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

interests

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.

links

Home page

selected publications (View all)

The Safe Lambda Calculus

William Blum, C.-H. Luke Ong

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

Details | BibTeX | Download | DOI (10.2168/LMCS-5(1:3)2009)

Symbolic Backwards Reachability Analysis for Higher-Order Pushdown Systems

M. Hague, C.-H. L. Ong

In FoSSaCS 2007.

Long Version (pdf)

Details | BibTeX | Download (pdf)

Safety is not a restriction at level 2 for string languages

K. Aehlig, J. G. de Miranda and C.-H. L. Ong

No. RR-04-23, Technical Report, Oxford University Computing Laboratory. October 2004.

Details | BibTeX | Download (ps)

info

themes	Foundations, Logic and Structures \| Programming Languages \| Verification
activities	Hardware Verification \| Model Checking \| Game Semantics and its Applications \| Metacomputation
projects	Pushdown Automata and Game Semantics \| GAMES \| Verifying Properties of the ML Family of Languages
students	Christopher Broadbent \| Matthew Hague \| David Hopkins \| martin Lester \| Robin Neatherway \| Steven Ramsay \| Michael Vanden Boom \| Yong Xie \| Chang Yan