Workshop before the PhD defense of Jeroen Meijer "Efficient Learning and Analysis of System Behavior".On September 20 at 12:30 Jeroen Meijer will publicly defend his PhD thesis. Preceding the defence we are hosting a workshop + lunch, for which you are invited. Two members of my graduation committee will present their work.Read more- PhD Defence Wytse OortwijnWytse Oortwijn is a PhD student in the research group Formal Methods and Tools. His supervisor is prof.dr. M. Huisman from the faculty of Electrical Engineering, Mathematics and Computer Science.Read more
