University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Luke Ong

Personal photo - 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

Home page

Selected Publications

View all

Manage publications

Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types

C.−H. Luke Ong and Steven J. Ramsay

In Proceedings of the 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.

Long Version (pdf)

Info

Themes

Activities

Projects

Completed Projects

Current Students

Past Students

Christopher Broadbent
Personal photo - Matthew Hague
Matthew Hague
David Hopkins
Personal photo - Robin Neatherway
Robin Neatherway
Personal photo - Steven Ramsay
Steven Ramsay
Yong Xie
Chang Yan

SHARE THIS: