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

Computer Science and Engineering
Informatics and Mathematical Modelling
Technical University of Denmark

E-mail: mrh@imm.dtu.dk, Office: Building 322, Room 011, Tel: ++ 45 45 253727
Research interests:
Duration Calculus, Interval Logic, Temporal Logic, Embedded Systems, Real-Time Systems, Formal Methods, Security, Programming, Functional Programming

Books:

More information:

Postal Address:
Informatics and Mathematical Modelling, Building 321
Technical University of Denmark
DK-2800 Lyngby
Denmark

Last update: Juli 13, 2007