Several researchers from the IMDEA Software Institute are giving lectures in prestigious Summer schools around the globe:
- Aleks Nanevski teaches Separation Logic and Concurrency at the Oregon Programming Languages Summer School, in Oregon, United States.
- Benedikt Schmidt teaches Foundations of Computer Aided Verification for Cryptographic Systems at the Computer Aided Analysis of Cryptographic Protocols Summer School in Bucharest, Romania.
- Gilles Barthe teaches Formal Methods in Cryptography at the Summer School on Real-world crypto and privacy in Sibenik, Croatia.
- Carmela Troncoso teaches Traffic Analysis Techniques at the Summer School on Real-world crypto and privacy in Sibenik, Croatia; and at the Summer Research Institute 2016 – Security/Privacy Edition in Laussane, Switzerland.
- John Gallagher teaches Software and energy aware computing at the NiPS Summer School 2016 “ICT-Energy: Energy consumption in future ICT devices” in Aalborg, Denmark.