Carol Mak is a DPhil student in Semantics of Programming Languages, under the supervision of Prof. Luke Ong at Department of Computer Science, University of Oxford.

Interest

Carol is interested in semantics of programming languages, in particular probabilistic and differentiable programming languages and Markov Chain Monte Carlo inference algorithms.