Research

In the Formal Methods section we conduct research on techniques and tools for ensuring the reliability of ICT powered systems of systems. We develop methods for the modelling, analysis and realisation of IT systems that facilitate the development of safe and secure IT systems with good performance.

Contact

Alberto Lluch Lafuente
Head of Section, Associate Professor
DTU Compute
+4545 25 37 36

Contact

Andrea Vandin
Associate Professor
DTU Compute
+4545 25 37 34

Contact

Hanne Riis Nielson
Professor
DTU Compute

Contact

Flemming Nielson
Professor
DTU Compute
+4545 25 37 35

Contact

Sebastian Alexander Mödersheim
Associate Professor
DTU Compute
+4545 25 37 34