Michael Reichhardt Hansen
Associate Professor
Department of Applied Mathematics and Computer Science
Richard Petersens Plads
Building 322 Room 112
2800 Kgs. Lyngby
Danmark
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.