The Platform Viability theme

Leader

Tim Cheng

University of California, Santa Barbara

Faculty

Rajeev Alur

University of Pennsylvania

Valeria Bertacco

University of Michigan

Abhijit Chatterjee

Georgia Institute of Technology

Edmund M. Clarke, PhD.

Carnegie Mellon University

Sharad Malik

Princeton University

Subhasish Mitra

Stanford University

Sanjit A. Seshia

University of California, Berkeley