Dr. Luke Ong

Personal photo - Luke Ong Distinguished University Professor
Vice President of Research
Professor, School of Computer Science and Engineering
Nanyang Technological University, Singapore
President's Office, 50 Nanyang Avenue, Singapore 639798

Professor of Computer Science
Department of Computer Science, University of Oxford
Email: luke.ong @ ntu . edu . sg

Keywords: Bayesian Statistical Probabilistic Programming; Semantics of Computation; Game Semantics; Verification and Higher-Order Model Checking; Lambda Calculus and Type Theory; Algorithmic Game Theory, Computational Proof Theory and Categorical Logic; Logic and Algorithms

Bio | Publications (DBLP) | Research | Doctoral Students | Vacancies