Research output per year
Research output per year
Personal profile
Profile
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.
Keywords
- User defined:
- Temporal logic
- Real-time systems
- Functional programming
- Formal methods
- Verification
- Software engineering
- Embedded systems
Fingerprint
Dive into the research topics where Michael Reichhardt Hansen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Beyond Equivalence: Benchmark Datasets for Ontology Alignment
Liu, X., Hertling, S. & Hansen, M. R., 2026, Proceedings of the Seventh International Knowledge Graph and Semantic Web Conference - HTWK 2025. Springer, Vol. 16373. 15 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
MDMapper Results for OAEI 2025
Liu, X., Hansen, M. R. & Grode, J., 2026, Proceedings of The 20th International Workshop on Ontology Matching collocated with the 24th International Semantic Web Conference (ISWC 2025). CEUR-WS, Vol. 4144. 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile79 Downloads (Orbit) -
Consistent Alignments for Simple Ontologies in the Digital Information Supply Chain
Hansen, M. R., Liu, X. & Grode, J., 2024, The Practice of Formal Methods : Essays in Honour of Cliff Jones. Vol. 14780. p. 175-194 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
-
MDMapper: A Framework for Aligning Master Data Models using Ontology Matching Techniques
Liu, X., Grode, J. & Hansen, M. R., 2024, Proceedings of OM-2024: The 19th International Workshop on Ontology Matching collocated with the 23rd International Semantic Web Conference (ISWC 2024). CEUR-WS, Vol. 3897. p. 30-42 (CEUR Workshop Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile100 Downloads (Orbit) -
MDMapper Results for OAEI 2024
Liu, X., Hansen, M. R. & Grode, J., 2024, Proceedings of OM-2024: The 19th International Workshop on Ontology Matching collocated with the 23rd International Semantic Web Conference (ISWC 2024). CEUR-WS, Vol. 3897. p. 98-103 (CEUR Workshop Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile52 Downloads (Orbit)
Projects
- 15 Finished
-
Automation of data exchange and data traceability to support ESG reporting standards and regulatory compliance
Liu, X. (PhD Student), Hansen, M. R. (Main Supervisor), Madsen, J. (Supervisor), Hald, B. G. (Supervisor) & Grode, J. (Supervisor)
01/04/2023 → 02/07/2026
Project: PhD
-
OMforMDM: Automation of Data Exchange and Data Traceability to Support ESG Reporting Standards and Regulatory Compliance
Hansen, M. R. (PI)
01/01/2022 → 31/12/2025
Project: Research
-
Abstract Interpretation for Secure Information Flow
Vasilikos, P. (PhD Student), Nielson, F. (Supervisor), Hansen, M. R. (Examiner), Viganò, L. (Examiner), Aceto, L. (Examiner) & Nielson, H. R. (Main Supervisor)
01/09/2016 → 09/09/2020
Project: PhD
-
A top-down approach to genetic circuit synthesis
Baig, H. (PhD Student), Madsen, J. (Main Supervisor), Hansen, M. R. (Examiner), Bhatia, S. (Examiner) & Myers, C. J. (Examiner)
Technical University of Denmark
15/08/2014 → 15/11/2017
Project: PhD
-
Logical and Computational Aspects of Infinite Games
Vester, S. (PhD Student), Hansen, M. R. (Main Supervisor), Goranko, V. (Supervisor), Witt, C. (Examiner), Guldstrand Larsen, K. (Examiner) & Olderog, E.-R. (Examiner)
Technical University of Denmark
01/05/2013 → 23/11/2016
Project: PhD