News and Events
Here we list the news of FMT
|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.
|May 24, 2011||
For most of the presentations of the symposium Model-based Testing, from theory to practice and back again, a .pdf is linked from the event description page.
|April 28, 2011||
After the PhD defense of Machiel van der Bijl which takes place at May 12, at May 13 an interesting combination of speakers from research en industry will share their vision and experiences on Model-Based Testing.
For more information (program, registration) see the event description.
|April 7, 2011||
Mark Florisson was invited to present his Bachelor Referaat work on Multi-Level Debugging for Cython at the Munich International Cython Workshop 2011.
|March 15, 2011||
Already a while ago, at LinkedIn the group 'FMT alumni' was created: 'a group for students and staff who have at one point been involved in the Formal Methods and Tools group at the University of Twente'.
|February 28, 2011||
We made the transition to the new website.
|February 8, 2011||
Michael Weber has won the Inter-Actief Educational Award for the Department of Computer Science! Other nominees were Rom Langerak en Harry Aarts. At tuesday februari 8 the winner was announced in borrelruimte Abscint, waar de winst ook meteen gevierd werd.