I am a Full Professor in Computer Science and Engineering at the Technical University of Denmark. Additionally I am Head of the Section on Formal Methods.
My current research interests are within the development and use of formal techniques for analysing Safety and Security of programs and models; including models expressed in various process calculi.
Research
The motivation behind my research has been the use of formal theories for modelling, analysing and reasoning about IT-systems. My main contributions are within the areas Attribute Grammars, Proof Systems for Program Properties, Type and Effect Systems and, more generally, Static Program Analysis. In short, these areas represent a wide variety of approaches to analysing and reasoning about computer programs and models and they cover semantics as well as algorithmic techniques. Furthermore, I have studied the interplay between Static Analysis and Model Checking.
Much of my work has been carried out as part of Danish and European research projects. Currently I participate in the following research projects:
- IDEA4CPS: a Danish-Chinese research center on Foundations of Cyber- Physical Systems funded by the Danish Natural Research Foundation.
Books
 |
Flemming Nielson, Hanne Riis Nielson
Two-Level Functional Languages
Cambridge University Press, 1992
ISBN 0-521-40384-7
|
 |
Torben Amtoft, Flemming Nielson, Hanne Riis Nielson
Type and Effect Systems
Imperial College Press, 1999
ISBN 1-86094-154-0
|
Books edited by Hanne Riis Nielson
- European Symposium on Programming - ESOP 1996 proceedings, LNCS 1058, Springer
- Principles of Programming Languages - POPL 2001 proceedings, ACM press
- Transactions on Computational Systems Biology, LNCS 4230, Springer
- Static Analysis - SAS 2007 proceedings, LNCS 4634, Springer
- Secure IT-systems - NadSec 2013 proceedings, LNCS 8208, Springer
Publications
List of publications in DBLP
List of publications in Google Scholar (including H-index)
List of publications maintained by DTU Compute
Teaching
I am involved in three courses:
- Program Analysis (02242): a masters course where I give an introduction to program analysis (mainly based on our book on Principles of Program Analysis).
Additionally, I am supervising MSc and PhD projects -- if you are interested, please contact me.
Currently I am PhD supervisor for:
Previous PhD student at DTU:
-
Mikael Buchholtz (2005): Automated analysis of security in networking systems
-
Terkel Tolstrup (2007): Language based security for VHDL
-
Henrik Pilegaard (2007): Language based techniques for systems biology
-
Han Gao (2008): Analysis of security protocols by annotations
-
Christoffer R. Nielsen (2009): A verifiable language for cryptographic protocols
-
Fan Yang (2010): Aspects with program analysis for security policies
-
Ender Yüksel (2011): Quantitative and qualitative security analysis for ZigBee wireless sensor networks
-
Nataliya Skrypnyuk (2011): Verification of stochastic process calculi
-
Alejandro Hernandez (2012): Distributed security in closed distributed systems
-
Piotr Filipuik (2012): A succinct approach to static analysis and model checking
-
Fuyuan Zhang (2012): Model checking as static analysis
-
Michal Terepete (2010): An algebraic approach to analysis of recursive and concurrent programs
-
Carroline Ramli (2010): Modelling and Analyzing Access Control Policies in XACML 3.0
-
Roberto Vigo (2011): Availability by Design - A Complementary Approach to Denial-of-Service
-
Alessandro Bruni (2012): Analysis of Security Protocols in Embedded Systems
-
Ximeng Li (2012): Fine-grained Information Flow for Concurrent Computation
-
Omar Almousa (2012): Security Protocols: Specification, Verification, Implementation, and Composition
Contact
Professor Hanne Riis Nielson
Department of Applied Mathematics and Computer Science
The Technical University of Denmark
Richard Petersens Plads
Building 324, Room 181
DK-2800 Kongens Lyngby
Denmark
phone +45 45 25 37 36
email hrni(a)dtu.dk