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

Open position PhD student: continuous improvement of machines through verified software updates

Posted on December 19, 2019December 19, 2019 by Jeroen Keiren

We are looking for an excellent PhD student on the MACHINAIDE project on Knowledge based services for and optimization of machines. The overall challenge in the project is to allow continuous improvement of machines by …continue reading

Posted in People, Projects, Research

Ferry Timmers started in the Arrowheads project.

Posted on May 22, 2019May 22, 2019 by Jan Friso Groote

On April 15 Ferry Timmers started in the Arrowheads project together with ASML. The goal of this project is to show that newly developed control software for wafer scanners can completely be verified before the …continue reading

Posted in People

New group member: Mark Bouwman

Posted on March 11, 2019February 3, 2022 by Bas Luttik

Mark Bouwman started as a PhD candidate on the FormaSig project in our group. The FormaSig project, led by Bas Luttik (TU/e) and Maarten van der Werff (ProRail), is a joint research project of DB …continue reading

Posted in People, Projects, Research

Jeroen Keiren joins FSA

Posted on February 1, 2019February 1, 2019 by Tim Willemse

We’re very pleased to welcome Jeroen Keiren, who started as an assistant professor in our group on 1 February! Before joining FSA, he worked as an assistant professor at the Open University and Delft University …continue reading

Posted in People

Julien Schmaltz left FSA

Posted on November 1, 2018November 1, 2018 by Jan Friso Groote

On November 1, 2018, Julien Schmaltz left the FSA group to take up a new position at the company ICT. We congratulate Julien and wish to thank him for all he has done for our …continue reading

Posted in People

New group member: Rick Erkens

Posted on September 17, 2018September 18, 2018 by Jan Friso Groote

Rick Erkens started to work 1 september 2018 as a teaching PhD student in the FSA group.

Posted in People

New group member: Olav Bunte

Posted on September 6, 2018September 18, 2018 by Tim Willemse

Olav Bunte started as a PhD candidate in the VOICE-B project in our group. The VOICE-B project, led by Tim Willemse and Louis van Gool (Océ) aims to formalise the OIL language used at Océ …continue reading

Posted in People, Projects, Research

New group member: Maurice Laveaux

Posted on March 1, 2018September 18, 2018 by Tim Willemse

Maurice Laveaux started as a PhD candidate in the AVVA project in our group. He will be exploring ways of using parallelism for accelerating verification and use verification to prove the correctness of highly parallel …continue reading

Posted in People, Projects, Research
Posts navigation
← Newer posts

Agenda

August 2022
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 31     
« Jul   Sep »

SUBSCRIBE TO CALENDAR

Calendar Feed

Events by Category

  • FSA Colloquium
  • MSc Defences
  • PhD Defence

Colloquium

Schedule
Theme by Out the Box