About me

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.


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