Rance Cleaveland (Maryland University) will be our guest from 11-15 July. He’ll mainly be working with Jeroen Keiren.
News about people working in our group
Vacancy for Assistant Professor
The FSA group has a vacancy for an assistant professor (tenure-track/tenured) under the Irène Curie Fellowship programme, which offers a substantial start-up package. We are particularly keen on strengthening our expertise in automated reasoning, SAT …continue reading
Two new FSA members per 1 October
On 1 October, Tom Franken started as a PhD student working on the NWO-funded TOP project AVVA. At the same time, we welcomed back Thomas Neele, who started working as an Assistant Professor in our …continue reading
Tim Willemse group leader
Starting on Juli 1, 2021 Tim Willemse took over the role of cluster leader of FSA from Jan Friso Groote who has been leader for more than 20 years.
IPA Dissertation Award for Thomas Neele
Thomas Neele, who obtained his PhD under the supervision of Tim Willemse and Jan Friso Groote, won the award for the best dissertation of 2020 of the Dutch Research School IPA for his dissertation “Reductions …continue reading
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 …continue reading
Two Assistant Professor and/or Support Positions in FSA
The Formal System Analysis group has two vacancies for tenured/tenure track assistant professor and/or support staff positions. More information about these positions can be found here. Screening has started. The application deadline is 30 April, …continue reading
Anna Stramaglia new PhD student
On July 1 2020, Anna Stramaglia is joining us a PhD student in the MACHINAIDE project. Anna will focus on the scalability of verification, especially in the context of co-evolving system models and verification models.
Jan Martens new PhD student
At Februari 1, 2020, Jan Martens joined us as a new PhD student in the AVVA project. Jan will direct his attention to the question how many core architectures, such as GPU’s, can improve the …continue reading
We are hiring PhD students/postdocs!
We currently have four open positions for PhD students and one open position for a postdoctoral researcher. The open positions are in various externally funded projects. In particular, we are looking for candidates to fill …continue reading