Michael Reichhardt Hansen

Michael Reichhardt Hansen

Lektor

DTU COMPUTE
Institut for Matematik og Computer Science

Danmarks Tekniske Universitet

Richard Petersens Plads

Bygning 322, rum 112

2800 Kgs. Lyngby

Tlf.
Fax 45 88 13 99
E-mail mire@dtu.dk
ORCID 0000-0002-4775-4622
Hjemmeside

Få tilsendt vCard på e-mail.

Profil
Publikationer
Projekter
Kurser
Loading

Projekter rss feed

Abstract Interpretation for Secure Information Flow

Vasilikos, Panagiotis; Nielson, Hanne Riis; Nielson, Flemming; Hansen, Michael Reichhardt; Viganò, Luca; Aceto, Luca Examiner: Viganò, Luca; Aceto, Luca

Type: PhD    |     Projektstatus: Finished

2016-2019

A top-down approach to genetic circuit synthesis

Baig, Hasan; Madsen, Jan; Hansen, Michael Reichhardt; Bhatia, Swapnil; Myers, Chris John Examiner: Bhatia, Swapnil; Myers, Chris John

Type: PhD    |     Projektstatus: Finished

2014-2017

Logical and Computational Aspects of Infinite Games

Vester, Steen; Hansen, Michael Reichhardt; Goranko, Valentin; Witt, Carsten; Guldstrand Larsen, Kim; Olderog, Ernest-Rüdiger Examiner: Guldstrand Larsen, Kim; Olderog, Ernest-Rüdiger

Type: PhD    |     Projektstatus: Finished

2013-2016

Formal development and verification of railway control systems

Vu, Linh Hong; Haxthausen, Anne Elisabeth; Peleska, Jan; Hansen, Michael Reichhardt; Fantechi, Alessandro; Larsen, Peter Gorm Superv.: Peleska, Jan
Examiner: Fantechi, Alessandro; Larsen, Peter Gorm

Type: PhD    |     Projektstatus: Finished

2012-2016

Modelling and analysis for Cyber-Physical Systems

Dung, Phan Anh; Hansen, Michael Reichhardt; Madsen, Jan; Haxthausen, Anne Elisabeth; Sestoft, Peter; Vain, Jüri Examiner: Vain, Jüri

Type: PhD    |     Projektstatus: Finished

2011-2015

Multi-agent Story Planning

Andersen, Mikkel Birkegaard; Bolander, Thomas; Hansen, Michael Reichhardt; Petrick, Ronald P. A.; Smets, Sonja Examiner: Petrick, Ronald P. A.; Smets, Sonja

Type: PhD    |     Projektstatus: Finished

2011-2015

Formal methods for design and simulation of embedded systems

Jakobsen, Mikkel Koefoed; Madsen, Jan; Hansen, Michael Reichhardt; Dragoni, Nicola; Plosila, Juha Petteri; Vain, Jüri Examiner: Plosila, Juha Petteri; Vain, Jüri

Type: PhD    |     Projektstatus: Finished

2009-2013

Models and Analyses for Embedded Systems Design

Brekling, Aske Wiid; Hansen, Michael Reichhardt; Madsen, Jan; Sparsø, Jens; Ravn, Anders P.; Vain, Jüri Examiner: Vain, Jüri

Type: PhD    |     Projektstatus: Finished

2007-2011

Chip Area Interconnection Nctworks

Mahadevan, Shankar; Sparsø, Jens; Madsen, Jan; Hansen, Michael Reichhardt; Kuchcinski, Krzysztof; Wolf, Wayne Hendrix Examiner: Kuchcinski, Krzysztof; Wolf, Wayne Hendrix

Type: PhD    |     Projektstatus: Finished

2002-2006