Skip to content
FORMAL SYSTEM ANALYSIS

FORMAL SYSTEM ANALYSIS
RESEARCH GROUP

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

Category: Projects

News about projects

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

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

Big software project MERITS finished

Posted on October 5, 2020October 5, 2020 by Jan Friso Groote

The NWO Big Software project MERITS is finished. It investigated whether refactoring of legacy software is possible by automatic learning. The conclusion is that this is a bridge too far, but learning techniques are an …continue reading

Posted in Projects

Anna Stramaglia new PhD student

Posted on June 22, 2020July 6, 2020 by Jeroen Keiren

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.

Posted in People, Projects

We are hiring PhD students/postdocs!

Posted on December 23, 2019December 6, 2020 by Jeroen Keiren

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

Posted in People, Projects, Research

Open position Postdoc: continuous improvement of machines through verified software updates

Posted on December 19, 2019 by Jeroen Keiren

We are looking for a post-doctoral researcher 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 means …continue reading

Posted in Education, People, Projects

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

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

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
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