Concurrency and Logic group lecturing at CyberSecurity Summer School 2020

Ballerup, Denmark • Aug 26, 2020

On Week 35 (24th to 28th 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+.