C.-H. Luke Ong

Registered user since Thu 8 Oct 2015

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

Contributions

LAFI 2023 Exact Inference for Discrete Probabilistic Programs via Generating Functions
Pitfalls of Full Bayesian Inference in Universal Probabilistic Programming
Show activities from other conferences

POPL 2023-profile
View general profile