Investigadores de IMDEA Software dan clases en diversas escuelas de verano

Varios investigadores del Instituto IMDEA Software dan clases magistrales en prestigiosas escuelas de verano de todo el mundo:

Aleks Nanevski enseña Separation Logic and Concurrency en la Oregon Programmeng Languages Summer School, en Oregon, Estados Unidos.
Benedikt Schmidt enseña Foundations of Computer Aided Verification for Cryptographic Systems en la Computer Aided Analysis of Cryptographic Protocols Summer School en Bucarest, Rumanía.
Gilles Barthe enseña Formal Methods in Cryptography en la Summer School on Real-world crypto and privacy en Sibenik, Croacia.
Carmela Troncoso enseña Traffic Analysis Techniques en la Summer School on Real-world crypto and privacy en Sibenik, Croacia; y en la Summer Research Institute 2016 – Security/Privacy Edition en Laussane, Suiza.
John Gallagher enseña Software and energy aware computing en la NiPS Summer School 2016 “ICT-Energy: Energy consumption in future ICT devices” en Aalborg, Dinamarca.