Leo van Schooten graduated

On May 10, 2021 Leo van Schooten successfully defended his thesis on translating a DSL in use at Philips to specify and control X-ray capabilities to the language Dezyne, allowing for a less complex software generation process, and enabling the possibility to automatically verify correctness properties.