News and Events

Here we list the news of FMT

<< 1 2 3 4 5 6 7 8 9 >>

September 19, 2012

Danny Bergsma presents poster about Bachelor Referaat paper at Student Research Conference

Danny Bergsma will present a poster about the paper Static Verification of Security Policies at the Student Research Conference, organised by the VSNU on November 21, 2012.

The paper describes the work he did in the context of his bachelor referaat. It describes improved algorithms to propagate pre- and postconditions that encode a security policy.

June 21, 2012

Marieke Huisman role model in EU campaign 'Science it's a girl thing'

On June 21, 2012, the EU launched a new campaign 'Science it's a girl' to encourage girls to choose technical science-related studies, and to envisage a research career. As part of the campaign, profiles of several succesful women in science have been produced. Marieke Huisman is one of these role models. Her profile can be seen on

May 10, 2012

Dino Distefano wins prestigious computer science award

Dino Distefano, who received his PhD at FMT, is the recipient of the Roger Needham Award from BCS, the Chartered Institute for IT.

"Distefano’s pioneering work, which detects possible weaknesses in code, is hugely beneficial to writers who want to ensure their code is more secure from hacker’s attempts to crack it."

See news items at Queen Mary University (where Dino is a lecturer) and at BCS.

May 4, 2012

STW / ProRail funds FMT research on Smart Railroad Maintenance

STW / ProRail have granted the research proposal by Marielle Stoelinga on Smart Railroad Maintenance.

Key idea is to boost the modeling and analytical techniques for fault trees. Fault trees are a dominant model for risk management of infrastructures and other assets, but cannot yet cope with a pressing aspect, namely maintenance. 

In previous projects, we have fruitfully deployed model checking techniques for fault tree analysis, and we expect similar advantages in the domain of maintenance.

February 3, 2012

Marijn Jongerden received MMB 2012 Dissertation Award

The German GI-Group MMB (Messung, Modellierung und Bewertung) has granted the Dissertation Award 2012 to Marijn Jongerden for his dissertation on Model-based analysis of battery powered systems.  Marijn was supervised by Boudewijn Haverkort (DACS) and Joost-Pieter Katoen (FMT).  

January 6, 2012

Highlights of Dutch Testing Day discussed in Bits &amp; Chips

The professional magazine Bits & Chips published an article by Marielle Stoelinga discussing the highlights of the Dutch Testing Day: breakthroughs in model-based testing and risk-based testing were prominent trends at the Dutch Testing Day. 

December 23, 2011

Three of the four nominees for the Inter-Actief onderwijsprijs are from FMT!

The FMT nominees are Rom Langerak, Jaco van de Pol, and Arend Rensink.

December 1, 2011

Dutch Testing Day was a great success

The Dutch Testing Day, hosted on November 29 by the Formal Methods & Tools group has been a great success. Around 150 visitors participated, and attended a rich program of interesting presentations, and discussed how industry and academia can strengthen each other and collaborate to continue the competitive edge of Dutch ICT. 

November 29, 2011

Dutch Testing Day: 29 nov. 2011

The Dutch Testing Day is a national symposium on software and systems testing, with participants from industry and academia. The Testing Day has traditionally been a forum that fosters cross-fertilisation between industry and academia, through a balanced programme that highlights aspects in testing, both practical and theoretical.

Interested? Register via

November 23, 2011

Mark Timmer will give a workshop at the Nationale Wiskunde Dagen

Mark Timmer won a competition to provide a workshop during the Freudenthal Institute's annual "Nationale Wiskunde Dagen". The jury chose his proposal - "Analytische meetkunde door een synthetische bril" - out of twelve submissions. The workshop is based on Mark's MSc thesis that he wrote as part of his recently finished training to become a math teacher, which he did in parallel to his PhD at FMT as part of the "Promovendi voor de klas" project.

<< 1 2 3 4 5 6 7 8 9 >>