Name:C.-H. Luke Ong

Country:United Kingdom

Affiliation:University of Oxford

Research interests:Probabilistic Programming, Programming Languages and Verification, Semantics of Computation, Logic and Algorithms, Higher-Order Model Checking; Lambda Calculus and Type Theory