KNAW

Back to search results
Organisation

Chair Formal Methods and Tools

Pagina-navigatie:


Update Organisation Data


Part of Afdeling Informatica
Part of Faculteit Elektrotechniek, Wiskunde en Informatica
Part of Universiteit Twente
Get directions Google Maps
Postal address Postbus 217, 7500 AE Enschede
Phone +31-53-4893767
Fax +31-53-4893247
URL http://fmt.cs.utwente.nl/
Email j. m. w. lammerink -at- ewi. utwente. nl

People

Professor Prof.dr. J.C. van de Pol
Professor Prof.dr.ir. A. Rensink
Part-time professor Prof.dr. H. Brinksma
Part-time professor Prof.dr.ir. J.P. Katoen
Associate professor Dr. M. Huisman
Associate professor Dr.ir. R. Langerak

Current research

(the most recent research is at the top)
Secretariat Graphs for the Abstract Interpretation of Languages
Secretariat Multi-Core Decision Diagrams
Secretariat SYmbolic RedUction of Probabilistic Models (SYRUP)

Completed research

(the most recent research is at the top)
Collaboration Modeling and Analysis of QoS of Component-Based Designs (MOQS)
Collaboration Validation of Stochastic Systems II (VOSSII)
Collaboration HYCON - Taming Heterogeneity and Complexity of Networked Embedded Systems
Collaboration ARTIST2 - Embedded System Design
Collaboration Verification of hard and softly timed systems
All completed research..

Classification

D16200 Software, algorithms, control systems
D16300 Theoretical computer science

Go to page top
Go back to contents
Go back to site navigation