Portrait Michael Reichhardt Hansen, Associate Professor, Ph.D.

Embedded Systems Engineering
Department of Applied Mathematics and Computer Science
Technical University of Denmark

E-mail: mire@dtu.dk, Office: Building 322, Room 112, Tel: ++ 45 45 253727

Research interests:
My research interests include program specification, systematic program construction, functional programming, formal methods, embedded systems, temporal logics, real-time logics, Duration Calculus, verification

Books:

More information:

Postal Address:
Department of Applied Mathematics and Computer Science
Building 322
Technical University of Denmark
DK-2800 Kgs. Lyngby
Denmark

Last update: February 12, 2016