Lecturers
The 2007 School brings together top experts who will present a series of lectures on their latest research efforts.
The speakers for 2007 are:
- Stephen Brookes, Carnegie Mellon University
- Concurrent Separation Logic: Reasoning About Parallel Programs with Shared Mutable State
- Antonio Carzaniga, University of Lugano
- Dealing with Network Instability, Security, and Space Complexity in Content-Based Networking and Peer-to-Peer Systems.
- Edmund M. Clarke, Carnegie Mellon University
- Model Checking: From Hardware To Software And Back Again
- Model Checking with SAT
- Mauro Pezzè, University of Lugano and University of Milano-Bicocca
- Dynamic Analysis and Self Healing Software
- Bill Scherlis, Carnegie Mellon University
- Prospects for Intent-based Software Assurance
- Natasha Sharygina, University of Lugano and Carnegie Mellon University
- Software Verification
