Common Contracts
1 similar null contracts
Licence agreement concerning inclusion of doctoralMarch 28th, 2024
This thesis is the result of my promotion trajectory, that ran from 1 November 2018 until 31 October 2023 (5 years), executed at two institutes: Centrum Wiskunde & Informatica (CWI) in Amsterdam from 1 November 2018 until 31 October 2020 (2 years); and Leiden Institute of Advanced Computer Science (LIACS) in Leiden from 1 November 2020 until 31 October 2023 (3 years). At the CWI, I was part of the Formal Methods group (FM), and at LIACS, I was part of the theory group. The CWI provided me with office space for the entire duration of the trajectory. The promotion was initiated by Frank de Boer (promotor) and Stijn de Gouw (co-promotor), with the initial goal of verifying standard libraries of the Java programming language using the KeY system.
