ETAPS 2019 (series) / 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: http://www.compute.dtu.dk/english/research/formalmethods/employees/flemming-nielson
Contributions
POST 2019 | Co-chair in Program Committee within the POST 2019-track | ||||||||||||||||||||||||||||||||||||||||
ETAPS 2019 | Committee Member in Steering Committee ETAPS Steering committee meeting | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ETAPS 2019-profile
View general profile
View general profile