IMDEA Software Faculty members teach at several international Summer schools

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.