ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Flemming Nielson

Registered user since Mon 12 Mar 2018

Name: Flemming Nielson

Bio: 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.

Country: Denmark

Affiliation: Technical University of Denmark

Personal website:


POST 2019Co-chair in Program Committee within the POST 2019-track
ETAPS 2019Committee Member in Steering Committee
Author of ETAPS Steering committee meeting within the Social-track
Show activities from other conferences

ETAPS 2019-profile
View general profile