Lecturers

• - Parosh Aziz Abdulla, University of Uppsala, Sweden
•  Verification of Distributed Algorithms
•  
• - Rachid Guerraoui, EPFL, Switzerland
•  Universality in Distributed Computing
•  
• - Anne-Marie Kermarrec, INRIA Rennes, France
•  Privacy in Social Networks
•  
• - Christoph Kirsch, University of Salzburg, Austria
•  Design and Implementation of Concurrent Data Structures
•  
• - Rupak Majumdar, Max Planck Institute of Software Systems, Germany
•  Introduction to Software Verification
•  
• - Guevara Noubir, Northeastern University, USA
•  Emerging Trends in Cyber Attacks
•  
• - Shaz Qadeer, Microsoft Research, USA
•  Verification of Concurrent Programs
•  
• - Michel Raynal, IRISA Rennes, France
• Introduction to Concurrent and Distributed Computing