Objectives
The second summer school on Dependable Computer Systems will be held on the campus of the University of Lugano, Switzerland. The summer school is intended for students, researchers, and professionals interested in the construction of reliable computer systems. The focus of the school will be on all aspects of computer systems construction: system design, analysis, verification and implementation. The lectures will be given by internationally renowned researchers from Carnegie Mellon University, School of Computer Science, Pittsburgh, USA, and University of Lugano, Informatics Department, Switzerland who have made significant contributions to the field of computer systems. The summer school is a good opportunity for quickly acquiring background knowledge in important areas both in theory and practice of computer systems. The summer school is especially directed to Ph.D. students who are conducting or intend to conduct research in the area of computer systems. Industry professionals will also find it useful to attend.
- Organized jointly by:
- Faculty of Informatics, University of Lugano
- School of Computer Science, Carnegie Mellon University
- Advisory Board
- Mehdi Jazayeri (USI)
- Willy Zwaenepoel (EPFL)
- Thomas Gross (ETHZ)
- Steering Committee
- Natasha Sharygina (USI)
- Jeannette Wing (CMU)
