EAPLS Best PhD Dissertation Award 2018 für Christian Hensel
14.12.2019
Christian Hensel wurde von der European Association on Programming Languages and Systems (EAPLS) mit dem Best PhD Dissertation Award 2018 ausgezeichnet.
Seine Dissertation "The Probabilistic Model Checker Storm" wurde von einer internationalen Jury aus allen nominierten Dissertationen ausgewählt. Christian absolvierte seinen PhD am Lehrstuhl für Softwaremodellierung und Verifikation und wurde dabei von Joost-Pieter Katoen betreut.