Skip to content
FORMAL SYSTEM ANALYSIS

FORMAL SYSTEM ANALYSIS
RESEARCH GROUP

  • Home
  • Research
  • Education
  • Student projects
  • People
  • News

Category: People

News about people working in our group

VENI grant awarded

Posted on August 28, 2023August 28, 2023 by Clemens Dubslaff

The VENI grant is part of the NWO Talent Programme and targets excellent researchers who have recently obtained their PhDs. Our group member Clemens Dubslaff has been awarded one of the grants for a project …continue reading

Posted in People, Projects

Master thesis award

Posted on June 3, 2023June 3, 2023 by Jan Friso Groote

The VERSEN master thesis award was granted to Kevin Jilissen for his master thesis showing that tunnel software can formally be verified, exposing some design errors.

Posted in People

New book: ‘Spelen met oneindigheid’

Posted on March 13, 2023March 13, 2023 by Tim Willemse

Hans Zantema has published a book (‘Spelen met oneindigheid, verrassende figuren en patronen’, in Dutch—English translation is work in progress) about infinite sequences and their visualisations, see this link. An interview with Hans can be …continue reading

Posted in People, Research

Visitor: Maurice ter Beek

Posted on February 27, 2023March 13, 2023 by Tim Willemse

Maurice ter Beek (ISTI, CNR, Pisa) will be visiting us from 1-6 March. He’ll be working on variability parity games, together with Erik de Vink and Tim Willemse.

Posted in People, Research

FSA Vacancies

Posted on February 16, 2023May 15, 2023 by Tim Willemse

Our department has 25 (assistant) professor vacancies; some such positions may end up in our group. We encourage those with a Formal Methods background (broadly construed) to apply for a position (ASAP). For details, see …continue reading

Posted in People, Research

Visitor: Rance Cleaveland

Posted on January 10, 2023January 24, 2023 by Tim Willemse

Rance Cleaveland (Maryland University) is our guest from 16-20 January.

Posted in People, Research

Visitor: Valentina Castiglioni

Posted on November 19, 2022November 19, 2022 by Tim Willemse

Valentina Castiglioni (Reykjavik University, Iceland) will be visiting the FSA research group from 22-24 November, 2022.

Posted in People, Research

Clemens Dubslaff joins FSA!

Posted on November 1, 2022November 19, 2022 by Tim Willemse

We are very pleased to announce that on 1 November, Clemens Dubslaff starts as an assistant professor in the FSA group.

Posted in People

Visitors: Nobuko Yoshida and Sung-Shik Jongmans

Posted on October 3, 2022October 25, 2022 by Tim Willemse

On Thursday, 13 October, Nobuko Yoshida (Oxford) and Sung-Shik Jongmans (OU/CWI) will be visiting the FSA group.

Posted in People, Research

Kevin Jilissen joins FSA

Posted on September 28, 2022September 28, 2022 by Tim Willemse

Kevin Jilissen recently started working as a PhD student in our group. He will be investigating the use of Formal Methods to verify standards for critical infrastructures such as tunnels, in collaboration with Rijkswaterstaat.

Posted in People, Projects
Posts navigation
Older posts →

Agenda

September 2023
MTWTFSS
     1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30  
« Aug   Oct »

SUBSCRIBE TO CALENDAR

Calendar Feed

Events by Category

  • FSA Colloquium
  • MSc Defences
  • PhD Defence

Colloquium

Schedule
Theme by Out the Box