Matthijs is an Assistant Professor, current NWO Veni fellow, and former Marie Sklodowska-Curie fellow, at Utrecht University. Prior to this, he worked at Columbia University and the University of Oxford as a Postdoctoral Research Scholar, working on the semantics and implementation of probabilistic programming languages. He received his PhD from the University of Oxford, approaching the combination of dependent types and computational effects from a semantic point of view. He holds a masters degree in Pure Mathematics from the University of Cambridge and BScs in Mathematics and Physics from Utrecht University. Outside of academia, Matthijs has industrial software engineering experience, working on build systems at Microsoft Research, on natural language processing at Linguamatics, and on real-world compiler design and implementation as a part of the Stan probabilistic programming project.