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]