Michael Reichhardt Hansen

Michael Reichhardt Hansen

Associate Professor

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 322, room 112

2800 Kgs. Lyngby

Ph.
Fax +4545 88 13 99
E-mail mire@dtu.dk
ORCID 0000-0002-4775-4622
Home page

Request a vCard via e-mail.

Profile
Publications
Projects
Courses
Loading

Profile

Keywords Temporal logic | Real-time systems | Functional programming | Formal methods | Verification | Software engineering | Embedded systems

Michael R. Hansen is expert in systematic development of software systems, where the applied methods and techniques rely on a mathematically well-founded basis -- and is a coauthor of three international books within this area. His research has been focussed on modelling and analysis of embedded, real-time, systems and on model-based program construction. Michael R. Hansen is associate professor at the Deparment of Applied Mathematics and Computer Science (DTU Compute). He has a MSc in Engineering at DTU from 1982 and a PhD in computer science at DTU from 1987. In the period 1984-1985 he had a post-doctoral fellowship at IBM Research Center, San Jose, California, was assistant professor at DTU in 1985 and associate professor at DTU in 1990.  In the period 1992-1993 he was a guest professor at Oldenburg University, Germany. He is author and co-author of three scientific book and more than 70 scientific articles, and he has given ph.d.-courses about his research at several ph.d-schools and institutions.