Wednesday 18 October 2023
On Tuesday 17 October 2023, Sophie Lathouwers obtained the doctor's title after defending her thesis 'Exploring Annotations for Deductive Verification'. We congratulate Sophie with this excellent achievement, and wish her all the best in her new job at TNO Soesterberg!
