Lecturers
The 2006 School brings together top experts who will present a series of lectures on their latest research efforts.
The speakers for 2006 are:
- David Garlan, Carnegie Mellon University
- Specification and Verification of Software Architectures
- Carlo Ghezzi, Politecnico di Milano and University of Lugano
- Evolution of Software Compositions
- Peter Lee, Carnegie Mellon University
- Proof-Carrying Code (Self-Certified Code)
- Fernando Pedone, University of Lugano
- Reliable Distributed Systems
- Natasha Sharygina, University of Lugano and Carnegie Mellon University
- Software Security and Verification
- Mary Shaw, Carnegie Mellon University
- Software Engineering
