Draft:Luke Ong
 | This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages)
|
Luke Ong | |
|---|---|
| Alma mater | University of Cambridge; Imperial College London |
| Known for | Game semantics; higher-order model checking; programming languages; semantics of computation |
| Scientific career | |
| Fields | Computer science |
| Institutions | Nanyang Technological University; University of Oxford |
Chih-Hao Luke Ong (commonly cited as C.-H. L. Ong or 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 (NTU), Singapore.[1][2][3]
Education
[edit]Ong studied at the University of Cambridge and later completed a PhD in computer science at Imperial College London.[4]
Career
[edit]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.[2][1]
He later joined Nanyang Technological University (NTU), Singapore, as a Distinguished University Professor, and has served in senior leadership roles at the university.[5] As of January 2026, the Singapore Government Directory lists him as Vice President (AI & Digital Economy) and Dean of NTU's College of Computing & Data Science, among other roles.[3]
Research
[edit]Ong's research includes work on the semantics of computation, programming languages, and automated verification.[1]
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 (LICS).[6]
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.[7]
Selected works
[edit]References
[edit]- 1 2 3 "Dr Luke Ong: University of Oxford Homepage". University of Oxford. Retrieved 11 January 2026.
- 1 2 "Professor Chih-Hao Luke Ong". Merton College, University of Oxford. Retrieved 11 January 2026.
- 1 2 "Singapore Government Directory: NTU (University Leadership)". sgdi.gov.sg. Government of Singapore. Retrieved 11 January 2026.
- ↑ "Personal Profiles: Professor Luke Ong". Cambridge CARES. Retrieved 11 January 2026.
- ↑ "New senior leadership appointments for research and industry announced". NTU Singapore. Retrieved 11 January 2026.
- 1 2 "On model-checking trees generated by higher-order recursion schemes". IEEE Computer Society (Computer.org). Retrieved 11 January 2026.
- 1 2 "On Full Abstraction for PCF: I, II, and III". ScienceDirect. Elsevier. Retrieved 11 January 2026.