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

Tim Willemse group leader

Posted on September 2, 2021September 2, 2021 by Jan Friso Groote

Starting on Juli 1, 2021 Tim Willemse took over the role of cluster leader of FSA from Jan Friso Groote who has been leader for more than 20 years.

Posted in People

IPA Dissertation Award for Thomas Neele

Posted on June 30, 2021June 30, 2021 by Tim Willemse

Thomas Neele, who obtained his PhD under the supervision of Tim Willemse and Jan Friso Groote, won the award for the best dissertation of 2020 of the Dutch Research School IPA for his dissertation “Reductions …continue reading

Posted in People, Research

Leo van Schooten graduated

Posted on May 10, 2021 by Jan Friso Groote

On May 10, 2021 Leo van Schooten successfully defended his thesis on translating a DSL in use at Philips to specify and control X-ray capabilities to the language Dezyne, allowing for a less complex software …continue reading

Posted in People

Two Assistant Professor and/or Support Positions in FSA

Posted on April 2, 2021April 21, 2021 by Tim Willemse

The Formal System Analysis group has two vacancies for tenured/tenure track assistant professor and/or support staff positions. More information about these positions can be found here. Screening has started. The application deadline is 30 April, …continue reading

Posted in People, Research

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

Jan Martens new PhD student

Posted on April 6, 2020April 6, 2020 by Jan Friso Groote

At Februari 1, 2020, Jan Martens joined us as a new PhD student in the AVVA project. Jan will direct his attention to the question how many core architectures, such as GPU’s, can improve the …continue reading

Posted in People

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
Posts navigation
Older posts →
← Newer posts

Agenda

March 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 31   
« Feb   Apr »

SUBSCRIBE TO CALENDAR

Calendar Feed

Events by Category

  • FSA Colloquium
  • MSc Defences
  • PhD Defence

Colloquium

Schedule
Theme by Out the Box