Vice President (AI and Digital Economy)
Dean, College of Computing and Data Science
Nanyang Technological University, Singapore
President's Office, 50 Nanyang Avenue, Singapore 639798
| Email: luke.ong @ ntu . edu . sg | |
|
|
Distinguished University Professor
Vice President (AI and Digital Economy) Dean, College of Computing and Data Science Nanyang Technological University, Singapore President's Office, 50 Nanyang Avenue, Singapore 639798 |
|
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