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, HB 2A||Lunch colloqium: Rajesh Kumar: Title to be announced|
|Oct 01, 12:30, Waaier 4||PhD Defense: Marina Zaharieva-Stojanovski: Title to be announced|
Press Releases and Media Coverage
|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]
|May 18, 2015|
Interview with Jaco van de Pol in Scientias: Wanneer gaat de bitcoin onze harde euro’s vervangen?. [in Dutch]
|Apr 29, 2015|
Video about the research projects in the ExploRail programme by ProRail, NWO, STW Mariëlle Stoelinga, Joost-Pieter Katoen, Dennis Guck, Enno Ruijters: ExploRail, onderzoeksprogramma ProRail-STW-NWO. [in Dutch]
|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|
|Feb 27, 2015|
Rom Langerak nominated for Education Prize 2015
Rom Langerak has been nominated for the Education Prize for Computer Science 2015. On March 3 he will give a mini-lecture, together with the other contestants Maurice van Keulen and Klaas Sikkel. March 9 the winner will be announced by Inter-Actief.
(note: 'latest' refers to the date of addition to the EPrints publication database, not to the date of publication.)