Luke Ong
|
Dr Luke Ong
Professor of Computer Science
Director of Graduate Studies
Tutorial Fellow,
Merton College
Luke.Ong AT cs 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
Selected Publications
| Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types C.−H. Luke Ong and Steven J. Ramsay In Proceedings of 38th ACM SIGACT−SIGPLAN Symposium on the Principles of Programming Languages (POPL '11). 2011. |
| The Safe Lambda Calculus William Blum and C.−H. Luke Ong In Logic Methods in Computer Science. Vol. 5. No. 1. 2009. |
| Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems M. Hague and C.−H. L. Ong In FoSSaCS. 2007. |
Info
|
Themes |
Foundations, Logic and Structures | Programming Languages | Verification |
|
Activities |
Hardware Verification | Model Checking | Game Semantics and its Applications | Metacomputation |
|
Projects |
|
|
Completed Projects |
Pushdown Automata and Game Semantics | Verifying Properties of the ML Family of Languages | |
|
Students |
|
