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:

• A not quite updated list of Publications
• Selected causes taught recently:
  
  • 02157 Functional Programming
  • 02257 Applied Functional Programming
  • 02224 Real-Time Systems
  • 02917 Advanced Topics in Embedded Systems

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