Luke Ong
|
Dr
Luke
Ong
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
Selected Publications
| The Safe Lambda Calculus William Blum and C.-H. Luke Ong Logic Methods in Computer Science. Vol. 5. No. 1. 2009. |
| 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. Oxford University Computing Laboratory. October, 2004. |
| Symbolic Backwards Reachability Analysis for Higher-Order Pushdown Systems M. Hague and C.-H. L. Ong In FoSSaCS. 2007. |