The Research 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, Assistant Professor Henrik Pilegaard) 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.

MT-LAB breaks new ground by allowing Computer Science researchers with different competences to work together with researchers using more “traditional” approaches to mathematical modelling based on stochastic models (e.g. Markov chains), continuous dynamical systems and control theory (e.g. differential equations).

Process models and discrete mathematical models constitute a major part of our ongoing research projects. None of these projects, however, provide the resources required for a determined investigation of the interaction between discrete, stochastic and continuous models. The proposed centre will therefore enable a national research effort that cannot be realised within the current funding models.

The participants from DTU and AAU have colleagues with complementary competences in numerical analysis, a variety of statistical methods, operations research and linear optimisation problems etc. and thus provides an excellent source of detailed technical competences should they become necessary to reach the goals of MT-LAB