Dr. 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