0

You are here: MT-LAB.dk Home Alphabetical index

Alphabetical index


Indicates the page you came from. Indicates the page you came from.


A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   X   Y   Z   2


A

Alphabetical index
Associate/Assistant Professor in Language Based Technology

To the top of the page


C

Consortium
Contact
Course on Strategy Iteration
Cyber security: Flemming Nielson interviewed on Danish National Radio
Cyber security: Flemming Nielson interviewed on Danish National Television

To the top of the page


E

Example: Intelligent houses
Example: Medical treatment
Example: The Danish payment card

To the top of the page


F

Flemming Nielson interviewed on Danish national radio

To the top of the page


H

Home
Humanity's digital nervous system

To the top of the page


I

Inauguration of IDEA4CPS

To the top of the page


K

Kim G. Larsen interviewed in Ingeniøren
Kim G. Larsen receives prestigious CAV award
Kim Guldstrand Larsen at Danish People Meeting
Kim Guldstrand Larsen at Danish People Meeting

To the top of the page


L

Links

To the top of the page


M

Military security: Flemming Nielson interviewed on DR2

To the top of the page


N

News & Events
Newsletters

To the top of the page


P

PhD mini-course on SOS for Probabilistic and Stochastic Processes

To the top of the page


Q

Queueing Theory and its Applications: Bo Friis Nielsen interviewed

To the top of the page


R

Research

To the top of the page


S

Search
Sitemap Indicates the page you came from.
Smart Grid security: Flemming Nielson interviewed on Danish national radio
Smart Home security
Solving the Copenhagen Traffic Congestion Problem: Kebin Zeng interviewed

To the top of the page


T

Theme 1
Theme 2
Theme 3
Two talks on Maude and Rewrite Systems

To the top of the page


2

2nd International PhD School on Quantitative Model Checking

To the top of the page


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