Associate professor
Technical University of Denmark
Michael R. Hansen is an Associate Professor at the Department of Applied Mathematics and Computer Science, Technical University of Denmark, with areas of interest including functional programming, formal methods, embedded systems, temporal logics and verification, for example.
He is the the author of two books on functional programming: Functional programming using F#, Michael R. Hansen and Hans Rischel, Cambridge 2013 and Introduction to programming using SML, Michael R. Hansen and Hans Rischel, Addison-Wesley 1999, and one book on real-time systems: Duration Calculus: A formal approach to real-time systems, Zhou Chaochen and Michael R. Hansen, Springer 2004.