Michael Reichhardt Hansen

Michael Reichhardt Hansen is an Associate Professor at the Department of Applied Mathematics and Computer Science (DTU Compute) at the Technical University of Denmark. He holds a MSc in Engineering (1982) and a PhD in Computer Science (1987) from DTU. He has held postdoctoral and visiting roles, including a fellowship at IBM Research Center (1984–1985) and a guest professorship at Oldenburg University (1992–1993). His research focuses on formal methods, embedded systems, and real-time systems, emphasizing mathematically grounded software development. He has authored/co-authored three books and over 70 scientific articles.

Research interests include model-based program construction, temporal logic, functional programming, and ontology alignment. He has led projects on ontology matching frameworks (e.g., MDMapper) and formal methods for real-time systems. Hansen has supervised PhD students in areas like data integration and genetic circuit synthesis. He has contributed to international conferences and serves as a reviewer/examiner for academic programs.

His work bridges theoretical foundations with industrial applications, particularly in embedded systems and data management. He has collaborated internationally, with projects addressing ESG reporting standards and regulatory compliance through automated data traceability.