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

Hanne Riis Nielson
Professor, head of section
DTU Compute
+45 45 25 37 36

Contact

Flemming Nielson
Professor
DTU Compute
+45 45 25 37 35

Contact

Sebastian Alexander Mödersheim
Associate Professor
DTU Compute
+45 45 25 35 97

Contact

Alberto Lluch Lafuente
Associate Professor
DTU Compute
+45 45 25 75 09