Luke Ong

Distinguished University Professor, Nanyang Technological University
Vice President (AI and Digital Economy) and Dean, College of Computing and Data Science, NTU

Professional profile

Prof. Luke Ong is a Distinguished University Professor at Nanyang Technological University (NTU), Singapore, serving as Vice President (AI and Digital Economy) and Dean of the College of Computing and Data Science (CCDS). Professor Ong's research spans the semantics of computation, programming languages, verification, logic and algorithms, and algorithmic game theory. A defining aspect of his work is the combination of ideas and methods from semantics and structures with techniques from automated verification.

He is one of the leading figures and inventors of game semantics and its applications. His solution (with Hyland) to the PCF Full Abstraction Problem laid the foundations for game semantics, and their constructions, known as Hyland-Ong games, have become standard concepts in programming language semantics.

Professor Ong is also recognised for his pioneering contributions to verification. His LICS 2006 paper co-initiated higher-order model checking, a new branch of algorithmic verification that combines semantic ideas and methods with automata-theoretic and allied techniques in automatic verification, with applications in the verification of higher-order programs. His current research interests include computer and cyber security, higher-order logic and satisfiability modulo theories, and probabilistic and differentiable programming.