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.