Formal Methods and Tools

Omschrijving

De leerstoel FMT (Formal Methods & Tools) is deel van de afdeling Informatica op de faculteit EWI en gebruikt wiskunde voor de informatica. Op de faculteit wordt onderzoek gedaan naar technieken en tools ontwikkeld, die worden gebruik om te helpen bij de ontwikkeling van software. Dit kan dan betrekking hebben op zowel de ontwerp-, als de test-fase. Er wordt veel aandacht geschonken aan de toepasbaarheid van deze verschillende technieken en tools.

Onderzoeksgebieden

• Software Model Checking
• Program Verification
• Real-time and Hybrid Systems
• Probabilistic and Stochastic Systems
• Parallel and Distributed Model Checking
• Model-Based Testing
• Graph Transformation

Tools

Als gezegd ontwikkelt men aan de FMT-leerstoel dus ook tools, die het ontwikkelen van software vergemakkelijken. Enkele hiervan zijn:

• MRMC (hiermee kunnen allerlei Markov-modellen gecontroleerd worden)
• Lite
• BHave (hiermee kunnen allerlei dingen gedaan worden met het BHPC-protocol (Behavioural Hybrid Process Calculus), zoals het vertalen naar een andere protocol)

Medewerkers

• prof.dr. Jaco van de Pol (full professor)
• prof.dr. Ed Brinksma (part-time professor)
• ir. Axel Belinfante (research assistant)
• dr. Stefan Blom (post-doc)
• dr. Hichem Boudali (post-doc)
• Tingting Han MSc (PhD student)
• dr. Marieke Huisman (assistant professor)
• Clement Hurlin MSc (PhD student)
• prof.dr.ir. Joost-Pieter Katoen (part-time professor)
• dr. Jeroen Ketema (post-doc)
• Piotr Kordy MSc (PhD student)
• drs. Wouter Kuijper (PhD student)
• dr.ir. Rom Langerak (assistant professor)
• Martin Neuhäußer MSc (PhD student)
• André Nijmeijer (technical assistant)
• Svetlana Polenkova MSc (PhD student)
• dr.ir. Arend Rensink (associate professor)
• dr.ir. Theo Ruys (assistant professor)
• dr. Mariëlle Stoelinga (assistant professor)
• Mark Timmer MSc (PhD student)
• dr.rer.nat. Michael Weber (post-doc)
• dr. Jiansheng Xing (post-doc)
• Eduardo Zambon MSc (PhD student)
• dr. Maria Zimakova (post-doc)

Externe Links

Website faculteit

De verschillende publicaties van de faculteit