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

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

Farewell Event for Hans Zantema

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

On Friday 9 September, we had a farewell event for Hans Zantema, with presentations by Herman Geuvers, Jan Willem Klop, Jan Friso Groote, and Hans Zantema himself. The text of Hans’ presentation is available here.

Posted in People

Farewell Symposium for Hans Zantema

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

On Friday 9 September, a symposium will be held on the occasion of Hans Zantema’s retirement. The symposium will start at 13.30 and end at 16.30 in LUNA (room Corona), TU/e. There will be contributions …continue reading

Posted in People

Visitor: Rance Cleaveland

Posted on June 26, 2022October 25, 2022 by Tim Willemse

Rance Cleaveland (Maryland University) will be our guest from 11-15 July. He’ll mainly be working with Jeroen Keiren.

Posted in People, Research

Vacancy for Assistant Professor

Posted on October 4, 2021October 4, 2021 by Tim Willemse

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

Posted in People

Two new FSA members per 1 October

Posted on October 1, 2021September 30, 2021 by Tim Willemse

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

Posted in People, Projects
Posts navigation
Older posts →

Agenda

February 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      
« Jan   Mar »

SUBSCRIBE TO CALENDAR

Calendar Feed

Events by Category

  • FSA Colloquium
  • MSc Defences
  • PhD Defence

Colloquium

Schedule
Theme by Out the Box