• Richard Petersens Plads, 322, 112

    2800 Kgs. Lyngby


Personal profile


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.


  • User defined:
  • Temporal logic
  • Real-time systems
  • Functional programming
  • Formal methods
  • Verification
  • Software engineering
  • Embedded systems


Dive into the research topics where Michael Reichhardt Hansen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles