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)

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

publications

Symbolic Backwards Reachability Analysis for Higher-Order Pushdown Systems

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

In FoSSaCS 2007.

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)

View all

info

themes
activities	Game Semantics and its Applications \| Hardware Verification \| Metacomputation \| Model Checking
projects	Pushdown Automata and Game Semantics
students	William Blum \| Christopher Broadbent \| Matthew Hague \| David Hopkins \| Steven Ramsay \| Sam Sanjabi \| Yong Xie

location

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