Rene Rydhof Hansen
Scholar

Rene Rydhof Hansen

Google Scholar ID: MGLEvwkAAAAJ
Aalborg University
static analysissecurityreal-time systemsverification
Citations & Impact
All-time
Citations
620
 
H-index
14
 
i10-index
25
 
Publications
20
 
Co-authors
47
list available
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
  • A detailed list of publications is available here (DBLP, VBN).
Research Experience
  • Involved in several projects including:
  • - Self Energy-Supporting Autonomous Computation (funded by EU under FP7 2012-2015)
  • - Model Based Analysis and Testing of Embedded Systems (MBAT, funded by ARTEMIS)
  • - Certifiable Java for Embedded Systems (CJ4ES@googlecode, funded by the Danish Research Council for Technology and Production Sciences 2011-2013)
  • - Improving Security of Infrastructure Software (ISIS, funded by the Danish Research Council for Technology and Production Sciences 2008-2011, in collaboration with Julia L. Lawall)
Background
  • Main research interests are language-based safety and security, static analysis, programming languages, and programming language issues in operating systems. He is an associate professor in the Distributed and Embedded Systems group at the Department of Computer Science, Aalborg University.
Miscellany
  • Teaches courses such as Real-Time Software, Distributed Systems, Principles of Concurrency and Control Systems, etc.