KNAW

Terug naar zoekresultaat
Organisatie

Leerstoel Formal Methods and Tools - FMT

Pagina-navigatie:


Wijzig Organisatiedata


Behoort tot Afdeling Informatica
Behoort tot Faculteit Elektrotechniek, Wiskunde en Informatica
Behoort tot Universiteit Twente
Routebeschrijving Google Maps
Postadres Postbus 217, 7500 AE Enschede
Telefoon +31-53-4893767
Fax +31-53-4893247
URL http://fmt.cs.utwente.nl/
Email j. m. w. lammerink -at- ewi. utwente. nl

Personen

Hoogleraar Prof.dr. J.C. van de Pol
Hoogleraar Prof.dr.ir. A. Rensink
Part-time hoogleraar Prof.dr. H. Brinksma
Part-time hoogleraar Prof.dr.ir. J.P. Katoen
Universitair hoofddocent Dr. M. Huisman
Universitair hoofddocent Dr.ir. R. Langerak

Lopend onderzoek

(het meest recente onderzoek is bovenaan geplaatst)
Penvoerder Graphs for the Abstract Interpretation of Languages
Penvoerder Multi-Core Decision Diagrams
Penvoerder SYmbolic RedUction of Probabilistic Models (SYRUP)

Afgesloten onderzoek

(het meest recente onderzoek is bovenaan geplaatst)
Samenwerking Modeling and Analysis of QoS of Component-Based Designs (MOQS)
Samenwerking Validation of Stochastic Systems II (VOSSII)
Samenwerking HYCON - Taming Heterogeneity and Complexity of Networked Embedded Systems
Samenwerking ARTIST2 - Embedded System Design
Samenwerking Verificatie van hard en zacht getimede systemen
Alle afgesloten onderzoek..

Classificatie

D16200 Software, algoritmen, besturingssystemen
D16300 Theoretische informatica

Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie