Publications per year
Publications per year
Associate professor
Richard Petersens Plads, 322, 112
2800 Kgs. Lyngby
Denmark
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.
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Research output: Book/Report › Book › Research
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Research output: Contribution to journal › Journal article › Research › peer-review
Liu, X. (PhD Student), Hansen, M. R. (Main Supervisor), Madsen, J. (Supervisor), Hald, B. G. (Supervisor) & Grode, J. (Supervisor)
01/04/2023 → 31/03/2026
Project: PhD
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
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
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
Vu, L. H. (PhD Student), Haxthausen, A. E. (Main Supervisor), Peleska, J. (Supervisor), Hansen, M. R. (Examiner), Fantechi, A. (Examiner) & Larsen, P. G. (Examiner)
Technical University of Denmark
01/11/2012 → 21/01/2016
Project: PhD