MSc student Niels Rood gave his graduation presentation today and succesfully defended his MSc thesis “Functional Safety Analysis and Safety Pattern Application on i-CAVE”. Niels did his MSc final project as part of the i-CAVE (integrated Cooperative Automated VEhicles) project. He was supervised by TU/e colleagues Mark van den Brand,... [Read More]
Tutorial "The Correctness by Construction Approach to Programming" at Formal Methods 2019
I’m looking forward to the next edition of the tutorial on Correctness by Construction. I’ll be co-presenting it in Porto, Portugal coming Thursday morning, as part of FMWeek 2019. The tutorial is the latest and greatest edition of a series, with previous editions at FM’14, QRS’17, and ICTAC’18.
MSc Aishwarya Suresh
MSc student Aishwarya Suresh gave her graduation presentation in December 2018, succesfully defending her MSc thesis “Model analytics for ASML’s data and control modeling languages”. Aishwarya did her MSc final project in collaboration with ASML, with joint supervision by Wilbert Alberts (ASML), Önder Babur (TU/e) and myself. [Read More]