Michael R. Hansen is an Associate Professor in the Department of Informatics and Mathematical Modelling at the Technical University of Denmark. He is the author of Introduction to Programming Using SML (with Hans Rischel) and Duration Calculus: A Formal Approach to Real-Time Systems (with Zhou Chaochen).
