From May to July 2016, I worked with Hongseok Yang at the University of Oxford, United Kingdom, on “Variational Inference in Probabilistic Programs”. During this internship, we expressed probabilistic programming languages into probabilistic transition systems.