Consortium

MT-LAB integrates a number of competences currently spread over several institutions, departments or divisions.

• The competences in static analysis (theme 1), service oriented architectures (theme 2) and characteristics (theme 3) are mainly based at the research group Language Based Technology (Professor Hanne Riis Nielson, Professor Flemming Nielson) at DTU.
  
  
• The competences within “traditional” mathematical modelling using stochastic models are mainly based at the Mathematical Modelling division (Associate Professor Bo Friis Nielsen) at DTU.
  
  
• The competences in model checking, (theme 1), embedded systems (theme 2) and compositionality (theme 3) are mainly based at the “Center for Indlejrede Systemer” (Professor Kim Guldstrand Larsen, Associate Professor Arne Skou) at AAU.
  
  
• The competences within “traditional” mathematical modelling using continuous dynamical systems and control theory are mainly based at the Department of Electrical Engineering (Professor Rafael Wisniewski) at AAU.
  
  
• Crosscutting competences in process algebraic modelling, mobility and compositionality are based at the research group Concurrency and Mobility (Associate Professor Jens Christian Godskesen, associate Professor Andrzej Wąsowski) at ITU.