The growing pervasiveness of computerised systems makes our society vulnerable to faults or attacks on such systems. Rigorous software engineering methods and supporting efficient verification tools are crucial to counter this threat.
Professor
Aalborg University
Department of Computer Science
E: kgl@cs.aau.dk
T: +45 99 40 88 93
Associate Professor
Technical University of Denmark
DTU Compute
Professor
IT University of Copenhagen
Department of Computer Science
Professor
University of Copenhagen
Department of Computer Science
Professor
University of Southern Denmark
Department of Mathematics and Computer Science
Associate Professor
Copenhagen Business School
Department of Digitalization
Professor
Aarhus University
Department of Computer Science
Associate Professor
Technical University of Denmark
DTU Compute
Assistant Professor
Tecnical University of Denmark
DTU Compute
