Flemming Nielson

I am a Full Professor at DTU Compute at the Technical University of Denmark where I work in the Formal Methods section.


My main research interests are process modelling, static analysis, abstract interpretation, type and effect systems, operational semantics, model checking, qualitative and quantitative analysis, and software security.


My main teaching activities relate to modelling and analysis of service oriented software systems including software security.


Research Interests: The use of formal theories for modelling, analysing and reasoning about IT-systems. 


Throughout my career I have been working extensively on the following topics (in reverse chronological order):


  • Quantitative and Qualitative Modelling and Analysis. This involves the interplay between static analysis and model checking and the incorporation of quantitative analysis techniques (DTMC's, CTMC's, MDP's etc.) into a dominantly qualitative setting.


  • Flow Logic. In order to reconcile the nice structured approach of type systems, distinguishing between specification and implementation, with the vast body of techniques in more classical static analysis, I co-initiated the approach of Flow Logic.


  • Type and Effect Systems for Concurrency. In response to the need to deal with more challenging features of programming languages, in particular concurrency as in Concurrent ML, I changed my approach from denotational semantics to structural operational semantics and from abstract interpretation to type and effect systems.


  • Abstract Interpretation and Denotational Semantics. My PhD and DSc theses focused on the interplay between denotational semantics and abstract interpretation (which is a powerful technique for static analysis).




List of Publications in DBLP

List of Publications in Google Scholar (including H-index)

List of Publications as maintained by DTU Compute



Flemming Nielson, Hanne Riis Nielson, Chris Hankin

Principles of Program Analysis

Springer, 2005
ISBN 3-540-65410-0
Click for Supplementary Material



Hanne Riis Nielson, Flemming Nielson

Semantics with Applications: An Appertizer

Springer, 2007
ISBN 978-1-84628-691-9
Click for Supplementary Material



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



Flemming Nielson (ed.)

ML with Concurrency

Springer, 1997
ISBN 0-387-94875-9



Teaching Interests: The use of formal theories for modelling, analysing and reasoning about IT-systems - including security, correctness and performance.


  • The course 02246 on Model Checking covers discrete model checking of CTL over transition systems as well as stochastic model checking of PCTL over Markov Chains.
  • The course 02244 on Language Based Security covers Access Control and Information Flow as well as Secure Communication Protocols.


I am also supervising several PhD students and Honours Students.





I am currently involved in the following major activities:

  • IDEA4CPS - funded by the Danish Foundation for Basic Research - where I am co-principal investigator.



Education. Flemming Nielson holds an MSc (cand.scient.) from Aarhus University (Denmark), a PhD from Edinburgh University (Scotland), and he was the first to be awarded a DSc (dr.scient.) in Computer Science from Aarhus University (Denmark).


Employment. He is currentlyfull professor at DTU Informatics (Denmark). Previously he has been visiting professor at the Max Planck Institute for Computer Science in Saarbrücken (Germany), at Universität des Saarlandes, and at Kiel University (Germany) as well as associate professor at Aarhus University (Denmark).


Research Leadership. He is the principal investigator of the project Aspects of Security for Citizens, and the co-principal investigator of IDEA4CPS on Cyber Physical Systems, awarded by the Danish Foundation for Basic Research in cooperation with the National Natural Science Foundation of China.

Administrative Leadership. He has been Head of Computer Science and Engineering at DTU Informatics for five years (2002-2006).


Teaching Experience. He has taught courses on a variety of topics at the BSc-, MSc- and PhD-level. He has taught several international PhD-courses on Operational Semantics, Principles of Program Analysis, Foundations on Security Analysis and Design, and Analysis Methods for Global Computing.


Supervision Experience. He has supervised students at the BSc-, MSc- and PhD-levels and has served as an external examiner at the MSc- and PhD-levels.


Professor Flemming Nielson 


Department of Applied Mathematics and Computer Science

The Technical University of Denmark 
Richard Petersens Plads 
Building 324, Room 182 
DK-2800 Kongens Lyngby 

phone +45 45 25 37 35 
email fnie(a)dtu.dk