Thursday 21 September 2023
On Tuesday 17 October next, Sophie Lathouwers will defend her thesis Exploring Annotations for Deductive Verification. Her supervisor is Prof. Dr. Marieke Huisman.
More recent news
Mon 1 Jul 2024Two new PhD students started at FMT
Mon 10 Jun 2024Papers of the Month: June
Tue 21 May 2024UT and Central Government launch Digital Design & Architecture course
Fri 3 May 2024Papers of the Month: May 2024
Tue 23 Apr 20242nd place of student teams at VerifyThis 2024