EAPLS Best PhD Dissertation Award 2018 for Christian Hensel


Christian Hensel has won the Best PhD Dissertation Award 2018 from the European Association on Programming Languages and Systems (EAPLS).


His dissertation on "The Probabilistic Model Checker Storm" has been selected by an international jury among all nominated dissertations. Christian pursued his PhD at the Chair for Software Modeling and Verification under the supervision of Joost-Pieter Katoen.