Best Paper Award for Sofie Haesaert (CS)

Sofie Haesaert (PhD CS) has received  the Best Paper Award during the 13th Intern. Conference on Qualitative Evaluation of Systems (QEST 2016), that was held in August in Quebec, Canada, for her paper  "Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement" co-authored by Alessandro Abate (Oxford) and Paul Van den Hof (CS).

Sofie is in the final year of her PhD-track. In her research she is building a bridge between advanced control theory and computer science.