Technische Universität München
Sponsored byNorth Atlantic Threaty Organization
Prof. Parosh Aziz Abdulla, Uppsala University, Sweden
Prof. Javier Esparza, TU Munich, Germany
Our societies have become critically dependent on computerized infrastructures, ranging from internet banking to the power grid. Preventing malfunction of these services and protecting the integrity of private data from cyber attacks has become one of the main challenges of society at large. Computer science has created these new technologies and systems, and now it faces the challenge of protecting them against abuse and attack.
The Summer School Marktoberdorf focuses on scientific foundations and technologies for improving the quality and security of software. It offers PhD students advanced courses on science and technology for the detection of safety bugs and security weaknesses. All courses are held by top researchers in the field.