ACP group lecturing at CyberSecurity Summer School 2022

Ballerup, Denmark • Aug 19, 2022

On Week 33 (15th to 19th August) Jacopo Mauro and Marco Peressotti lectured at the Danish Cyber-security Summer School held at the DTU Diplom institute in Ballerup.

Mauro lectured on Site Engineering Reliability culture and techniques and the recent declination of DevSecOps. Peressotti lectured on Formal Methods fundamentals and main techniques and gave a tutorial about formal specifications using TLA+.