Michael Reichhardt Hansen

Associate Professor

Michael Reichhardt Hansen

Department of Applied Mathematics and Computer Science

Richard Petersens Plads

Building 322 Room 112

2800 Kgs. Lyngby




Michael Reichhardt Hansen


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.