Formal Methods and Tools
In the Formal Methods and Tools (FMT) research group, formal techniques and tools are developed and used as a means to support the development of software. This includes the development of formal theories of concurrency, design methodologies for distributed systems, and correctness assessment using verification or validation techniques. The group is also concerned with the development of traditional tools such as compilers and interpreters. In both research and courses much attention is paid to the applicability of formal methods.
Upcoming Events (for recurrent events only next 7 days are shown)
|Tomorrow, 12:30, HalB 2F||Lunch colloqium: Bugra M. Yildiz: Time Performance Improvement with Parallel Processing Systems (TIPS)|
|May 09, 10:15, Ra4334||Symposium Dutch Model Checking Day|
|May 09, 16:45, Prof.Dr. G. Berkhoff-room of Waaier building||PhD Defense: Alfons Laarman: Scalable multi-core model checking|
|May 16, 09.30, Vergaderruimte-Utrecht||Symposium Theory Day 2014 of the NVTI (Nederlandse Vereniging voor Theoretische Informatica)|
Press Releases and Media Coverage
|Dec 05, 2013|
|Dec 01, 2013|
|Dec 01, 2013|
|Apr 14, 2014|
Steven te Brinke wins Student Research Competition at SAC '14
The Symposium on Applied Computing (SAC) 2014 was held from March 24 to 18 in Gyeongju, Korea. SAC 2014 hosted a Student Research Competition that provides graduate students the opportunity to receive feedback on their research ideas from the scientific community. For this competition, students are selected based on submitted abstracts and then graded first on their poster and then on their presentation. Steven te Brinke from the FMT group of the University of Twente won the gold medal of this competition with his presentation titled "Interpreting Energy Profiles with CEGAR".Further information.
|Apr 02, 2014|
Mark Timmer wins IPA dissertation prize
Dr. ir. Mark Timmer is the winner of the IPA Dissertation Award for the best IPA dissertation of 2013. Mark's thesis on 'Efficient Modelling, Generation and Analysis of Markov Automata' was selected as the best among the nominated theses.
Mark carried out his research at the University of Twente under the joint supervision of Jaco van de Pol, Joost-Pieter Katoen and Mariëlle Stoelinga.
|Mar 31, 2014|
Marieke Huisman nominated for the Inter-Actief Onderwijsprijs 2013-2014
Marieke Huisman of the FMT group is nominated by the Computer Science students as one of the potential recipients of the yearly award for the best teacher. The list of nominees, in alphabetical order, reads:
The winner will be announced during an Inter-Actief drinks on April 30, at approx. 17:00 in the MBasement.
(note: 'latest' refers to the date of addition to the EPrints publication database, not to the date of publication.)