De Overijssel PhD-Award gaat dit jaar naar de Chinese onderzoeker Tingting Han. Zij promoveerde zowel cum laude aan de UT, in de vakgroep Formal Methods and Tools van Joost Pieter Katoen, als aan de RWTH Aachen University. Het was de vierde keer dat de Overijssel PhD-Award, een bedrag van 5000 euro voor een dissertatie van uitnemende wetenschappelijke kwaliteit, werd uitgereikt. Han deed fundamenteel onderzoek op het gebied van probabilistic model checking. Toepassing daarvan is mogelijk bij de bestudering van biologische systemen en het afschermen van gegevens in beveiligingsprotocollen.
