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.