0

You are here: MT-LAB.dk Home

Welcome to MT-LAB

A VKR Centre of Excellence

MT-LAB - a VKR Centre of Excellence is a research centre, which explores and develops methods for formal verification of modern advanced software systems.

News & Events

August 2013 - Associate/Assistant Professorship at DTU

June 2013 - Kim G. Larsen at Danish People Meeting

Newsletters

Latest issue: November 2013

Research

Read about our world-class research

   

Partners

 

Research

     

 

 

 

 

MT-LAB aims at solving the problems imposed by IT-systems becoming embedded in the world around us: how can we make sure that they behave safely and give us an acceptable performance?

 

 

 

 

 


Research Consortium

 

The Villum Foundation and Velux Foundation has awarded a grant of 25 mill. DKK to the centre which has partners from Technical University of Denmark, Aalborg University and IT University of Copenhagen. MT-LAB integrates a number of competences currently spread over several institutions, departments and divisions:


             
Flemming Nielson
Director of MT-LAB
Professor
DTU
  Hanne Riis Nielson
Professor
DTU
  Bo Friis Nielsen
Associate Professor
DTU
  Kim G. Larsen
Professor
AAU
  Arne Skou
Associate Professor
AAU
  Rafael Wisniewski
Professor
AAU
  Jens C. Godskesen
Associate Professor
ITU
  Andrzej Wąsowski
Associate Professor
ITU