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.
New website up
Finally.. More to be added.