Joost-Pieter Katoen is awarded the prestigious ERC Advanced Grant from the European Research Council. It will allow to fund a project on formal reasoning techniques for probabilistic programs over a period of five years. ERC Advanced Grants are intended to support the very best research to be conducted in EU member states and associated countries. They are to allow exceptional, established leaders in research to pursue ground-breaking high-risk projects that open new directions in their respective research fields and blur the boundary between basic and applied research.