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
Category: Projects
News about projects
Anna Stramaglia new PhD student
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.
We are hiring PhD students/postdocs!
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
Open position Postdoc: continuous improvement of machines through verified software updates
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
Open position PhD student: continuous improvement of machines through verified software updates
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
New group member: Mark Bouwman
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
New group member: Olav Bunte
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
New group member: Maurice Laveaux
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
Prestigious TOP-grant awarded
The Accelerated Verification and Verification Accelerated (AVVA) proposal by Jan Friso Groote, Tim Willemse and Anton Wijs, and Rob van Nieuwpoort (eScience Centre/UvA) has been granted by the Dutch Science Foundation NWO. The project provides funding …continue reading