Luke Ong's Projects for Part b, c and MSc Students (2019-2020)

I would be happy to discuss projects in the following areas.

• Statistical Probabilistic Programming for Bayesian Machine Learning
• Lambda calculus and Types (Programming Languages)
• Automata, Logic and Games (Verification)

The following are examples of possible directions / projects. Click on the links for details.

Please get in touch (email is best) if you are interested or have any questions.

1. Reliable Variational Inference for Probabilistic Programming
2. Differentiable Programming and Automatic Differentiation
3. Higher-order Logic, Types and Machine Learning
4. Higher-order Constrained Systems and Program Analysis