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
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).
Publications
List of Publications in DBLP
List of Publications in Google Scholar (including H-index)
List of Publications as maintained by DTU Compute
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
|
 |
Flemming Nielson (ed.)
ML with Concurrency
Springer, 1997
ISBN 0-387-94875-9
|
Teaching
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.
- The course 02913 on Advanced Analysis Techniques has different topics from year to year but always focuses on state-of-the-art methods and techniques together with their applications.
I am also supervising several PhD students and Honours Students.
Activities
I am currently involved in the following major activities:
- IDEA4CPS - funded by the Danish Foundation for Basic Research - where I am co-principal investigator.
Background
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.
Contact
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
Denmark
phone +45 45 25 37 35
email fnie(a)dtu.dk