LoadingText
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.
See profile and cv in DTU Orbit...