Verification and Software Engineering ​

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.

Workstream manager

Aalborg University
Department of Computer Science

E: kgl@cs.aau.dk
T: +45 99 40 88 93

Contributing researchers

Alberto Lluch Lafuente

Associate Professor

Technical University of Denmark
DTU Compute

IT University of Copenhagen
Department of Computer Science

University of Copenhagen 
Department of Computer Science

University of Southern Denmark
Department of Mathematics and Computer Science

Jacob Nørbjerg

Associate Professor

Copenhagen Business School
Department of Digitalization

Aarhus University
Department of Computer Science

Hugo Andrés López

Associate Professor

Technical University of Denmark
DTU Compute

Andrey Rivkin

Assistant Professor

Tecnical University of Denmark
DTU Compute