Demystifying Probabilistic Programming (Joost-Pieter Katoen)

Stadtpalais/Online Theaterstraße 75, Aachen, Germany

Joost-Pieter Katoen is Professor of software modeling and verifaction at the RWTH University Aachen. His talk will provide insights into his work focussing on probabilistic programs and their applications.  The talk is part of the c:o/re Lecture Series Cultures of Research - Philosophy of AI_Optimist and Pessimist Views.