Michael Reichhardt Hansen

Michael Reichhardt Hansen

Associate Professor

Elektrovej

Building: 322, 112

2800 Kgs. Lyngby

Denmark

Direct phone: 45253727

Fax: 45881399

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.

CV

View graph of relations

View all »

  • Formal Aspects of Computing

    ISSNs: 0934-5043

    ISSNs (Electronic): 1433-299X

    Springer U K, United Kingdom

    BFI (2015): BFI-level 2, ISI indexed (2013): ISI indexed yes

    Central database

    Journal

  • Journal of Logic and Algebraic Programming

    ISSNs: 1567-8326

    ISSNs (Electronic): 1873-5940

    Elsevier BV North-Holland, Netherlands

    BFI (2015): BFI-level 2, ISI indexed (2013): ISI indexed yes

    Central database

    Journal

  • Annals of Mathematics and Artificial Intelligence

    ISSNs: 1012-2443

    ISSNs (Electronic): 1573-7470

    Springer Netherlands, Netherlands

    BFI (2015): BFI-level 1, ISI indexed (2013): ISI indexed yes

    Central database

    Journal

View all »

View all »

Download as:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word
Download as: To download, please limit the number of search results to 1,000 or less.

Place of employment

Latest activities and conferences

ID: 2202451