News and Events
Here we list the news of FMT
|February 3, 2012||
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||
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||
The FMT nominees are Rom Langerak, Jaco van de Pol, and Arend Rensink.
|December 1, 2011||
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||
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 www.testdag.nl
|November 23, 2011||
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.
|November 12, 2011||
On 12 november 2011, Elwin Pater received the ENIAC prize for his master thesis called "Partial Order Reduction for PINS". The prize consisted of a piece of art and the amount of 500 Euro. The jury chose his thesis out of six nominated theses for its strong scientific contribution. One of the jury members said: "If this is a master thesis, I'm curious to see his PhD thesis". Elwin Pater was supervised by Michael Weber and Jaco van de Pol.
|November 10, 2011||
Prof. dr. ir. Arend Rensink gave his inaugural lecture on Thursday, 10 November 2011, entitled "Digging Software, Digging Graphs" (Dutch title: Graven in Software). At this well-attended event, he sketched his current research, which is based on the use of graphs to model software, both for the purpose of verification (meaning that the models form the basis for system analysis) and for transformation (meaning that the models for the basis for code generation). A summary can be found here; the slides are here (74MB, in Dutch).
See also here for a press announcement (in Dutch).
|June 28, 2011||
From the Inter Actief website:
"Marieke Huisman heeft een onderwijsbloemetje ontvangen voor haar inzet voor het onderwijs. Ze is in de afgelopen jaren altijd enthousiast geweest om onderwijszaken op te pakken en vernieuwingen door te voeren om zo het onderwijs te verbeteren. Zo zit ze onder andere in de opleidingscommissie en begint ze volgend jaar met het tutoring-project voor eerstejaars. Reden genoeg om deze positieve punten te benadrukken met een onderwijsbloemetje van de onderwijscommissie van Inter-Actief!"
|May 26, 2011||
University of Twente, the Netherlands – Monoidics ltd. announces the creation of an internship program in automatic software verification.