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. Formal methods are mathematical techniques for the construction and analysis of software systems. Our central goal is to increase the reliability of the software that we rely on, as individuals and as society. We primarily target complex concurrent ICT systems, embedded in a technological context or in a distributed environment.
Press Releases and Media Coverage
|Jan 21, 2017|
Interview with Mariëlle Stoelinga in BNR radio: item over Internet of Things security in De Ochtendspits. [in Dutch]
|Jan 20, 2017|
Article mentioning Mariëlle Stoelinga: Onderzoekers in Twente proberen het IoT te beveiligen tegen een legioen hackers. [in English]
|Jan 19, 2017|
|Nov 11, 2016|
Vincent Bloemen wins Best Presentation Award at the FM 2016 Doctoral Symposium
During the Doctoral Symposium of the 21st International Symposium on Formal Methods (FM 2016) in Cyprus, Vincent Bloemen won the Best Presentation Award for his paper titled 'Parallel Model Checking of ω-Automata'.
He presented ideas on how he attempts to improve the model checking procedure by investigating different types of ω-automata such as Büchi, Rabin and Parity, and developing efficient parallel algorithms for checking such automata.Further information.
|Nov 02, 2016|
Thomas Neele wins Ngi-NGN thesis prize
Thomas Neele receives the Ngi-NGN Informatics Thesis Prize (2nd prize, for Computer Science and Information Science). This prize has been awarded by the KHMW, the "Koninklijke Hollandsche Maatschappij der Wetenschappen". The prize of € 1000 will be awarded in Haarlem on November 28, 2016.
Thomas Neele graduated from Computer Science at the U Twente on a MSc Thesis "GPU implementation of partial-order reduction". He carried out is research at the Technical University of Eindhoven, under supervision of Anton Wijs (TU/e), Stefan Blom (UT) and Jaco van de Pol (UT). His research led already to two papers in major peer-reviewed conferences: ATVA'16 (Japan) and FM'16 (Cyprus).Further information.
|Sep 07, 2016|
Vincent Bloemen wins Best MSc Thesis Award
During the opening of the academic year, Vincent received the award for the best master's thesis written at the faculty of Mathematics, Computer Science and Mathematics.
(note: 'latest' refers to the date of addition to the EPrints publication database, not to the date of publication.)