We have an Assistant Professor vacancy in our group on the topic of Formal Methods and Neuro-Symbolic AI. The offered position is part of a broader department-wide mission-driven research collaboration on Zero-touch systems at the …continue reading
Category: People
News about people working in our group
Mohammad Reza Mousavi visits FSA
We have the pleasure of Mohammad Mousavi (King’s College, UK), former professor in the FSA group, visiting our group on the occasion of Tom Franken’s defence. Mohammad will give a talk about testing for quantum …continue reading
Tim Willemse receives GEWIS Best Teacher Award
We are proud to announce that Tim Willemse has won the GEWIS Best Teacher Award. Students chose Tim for his commitment to making complex theoretical concepts simple and accessible to everyone, and for his willingness …continue reading
Eduardo Costa Martins joins FSA!
Eduardo Costa Martins, who recently graduated in the FSA group under the supervision of Bas Luttik, started as a PhD student in our group and will be supervised by Tim Willemse and Jan Friso Groote. …continue reading
New moderator Concurrency mailinglist
Valentina Castiglioni will be the new moderator for the Concurrency mailinglist. She will take over from Jan Friso Groote, who has, for the last 30 years, been the one caring for the mailinglist, ensuring consistent …continue reading
Open PhD Position
The formal system analysis group has an open PhD position. Please contact us, in case you consider to strive towards a PhD and have strong background in mathematics and computer science. PhD on Uncertainty in …continue reading
Kevin van de Glind joins FSA
Kevin van de Glind, who graduated from Radboud University, started as a PhD student in FSA under the supervision of Matthias Volk. A warm welcome to Kevin!
Two Open PhD Positions
The formal system analysis group has several open PhD positions, targeting various topics that range from pure theory to applied formal methods. Please contact us, in case you consider to strive towards a PhD and …continue reading
Mara Miulescu joins FSA
Mara Miulescu, who recently graduated with FSA, will continue as a PhD student in FSA, working under the supervision of Thomas Neele. A warm welcome to Mara!
And the winner is…
…Rick Erkens! Rick won the GEWIS Best Teacher Award. Among other amazing qualities, students chose Rick for his passion and commitment, his guidance, and his capability of transforming complex formal theories into simple understandable concepts. …continue reading