Luke Ong
Chih-Hao Luke Ong is a Singaporean computer scientist whose research spans programming languages, semantics of computation, logic, and verification. He has held academic posts at the University of Oxford and is a senior university leader at Nanyang Technological University, Singapore.
Education
Ong studied at the University of Cambridge and later completed a PhD in computer science at Imperial College London.Career
Ong spent much of his academic career at the University of Oxford, where he served as a faculty member in the Department of Computer Science and as a fellow of Merton College, Oxford.He later joined Nanyang Technological University, Singapore, as a Distinguished University Professor, and has served in senior leadership roles at the university. As of January 2026, the Singapore Government Directory lists him as Vice President and Dean of NTU's College of Computing & Data Science, among other roles.
Research
Ong's research includes work on the semantics of computation, programming languages, and automated verification.In verification and logic, his publications include work on model-checking problems for trees generated by higher-order recursion schemes, published in proceedings of the IEEE Symposium on Logic in Computer Science.
In programming language semantics, he co-authored the paper series On Full Abstraction for PCF: I, II, and III in the journal Information and Computation.
Selected works
- Hyland, J. M. E.; Ong, C.-H. L.. "On Full Abstraction for PCF: I, II, and III". Information and Computation.
- Ong, C.-H. L.. "On model-checking trees generated by higher-order recursion schemes". Proceedings of LICS 2006.