Aalborg University, Denmark

Aalborg University (AAU) is committed to close interaction between theory and practice, thus bridging the gap between university and the surrounding society. In terms of ICT-funding, AAU is the largest Danish university participating in numerous projects within the European ECT program, including coordination of the Quasimodo project jointly with University of Twente. The computer science department is world leading within the areas of real-time model checking and statistical model checking and has extensive experience with formal modelling and static analysis.

In the TREsPASS project, AAU contributed work packages concerning the socio-technical security modelling, statistical and quantitative model checking, and static analysis.