On Week 33 (15^th to 19^th 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+.