Thesis defence A.J. Rouvoet
14 October 2021 15:00 - Location: Aula, TU Delft
Correct by Construction Language Implementations. Promotor: Prof.dr. E. Visser (EWI); Copromotor: Dr. R.J. Krebbers (EWI/Radboud U. Nijmegen).
For access to theses by the PhD students you can have a look in TU Delft Repository, the digital storage of publications of TU Delft. Theses will be available within a few weeks after the actual thesis defence.