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)
|Today, 12:30, HB 2A||Lunch colloqium: Stijn de Gouw: Showing that Android's, Java's and Python's sorting algorithm is broken, and fixing it formally|
|Next Tuesday, 12:30, HB 2A||Lunch colloqium: Roland Balk: SQLento: a new database programming language|
Press Releases and Media Coverage
|Sep 14, 2015|
|Aug 22, 2015|
|Jun 16, 2015|
Occurrence of Mariëlle Stoelinga: Dream it, Make it, share it: impression of lectures on Art & High Tech in Rijksmuseum Twente. [in Dutch]
|Sep 24, 2015|
Sebastian Junges wins Best Master Thesis Prize in Germany
His work, entitled Simplifying Fault Trees by Graph Rewriting, has been selected by the Fakultätentag Informatik. Sebastian will be awarded the price during the 45th Annual Meeting of the German Informatics Society (Gesellschaft für Informatik e.V. – GI).
His thesis has been supervised by Joost-Pieter Katoen and Marielle Stoelinga. He wrote his work during an exchange visit at the FMT group, collaborating with Dennis Guck, Arend Rensink and Marielle Stoelinga.
|Jun 26, 2015|
Sebastian Junges writes best Computer Science MSc thesis of RWTH Aachen University
Sebastian Junges, a student from RWTH Aachen University who wrote his MSc thesis at the Formal Methods & Tools group, wins a prizes for being the best MSc student in Computer Science at RWTH Aachen. His Grade Point Average is 1.1.
Moreover, his MSc thesis has been elected as the best MSc thesis in Computer Science.As such, RWTH Aachen has nominated his thesis for the Fakultätentag Informatik (FTI) Preis 2015, a nation-wide award in Computer Science.
Junges' thesis concerns Fault Tree Analysis, a wide spread technique in system reliability engineering, deployed by NASA, Airbus, Boeing, ESA, Toyota etc. Junges presents a technique to reduce the computation of Fault Trees, by graph transfromation techniques. In this way, fault trees can be analyzed that were too complex before.
The thesis has been supervised by Joost-Pieter Katoen, and Marielle Stoelinga, in collaboration with Arend Rensink.
|Apr 29, 2015|
(note: 'latest' refers to the date of addition to the EPrints publication database, not to the date of publication.)