Matthijs Vákár

Utrecht University Utrecht, the Netherlands Assistant professor in CS, working on probabilistic and differential programming, programming language semantics