Skip directly to: content | search

ExCAPE: Expeditions in Computer Augmented Program Engineering

Principal Investigators

Rajeev Alur Rajeev Alur - University of Pennsylvania

Ras Bodik Ras Bodik - University of California, Berkeley

Jeff Foster Jeff Foster - University of Maryland, College Park

Bjorn Hartmann Bjorn Hartmann - University of California, Berkeley

Lydia Kavraki Lydia Kavraki - Rice University

Hadas Kress-Gazit Hadas Kress-Gazit - Cornell University

Stephane Lafortune Stephane Lafortune - University of Michigan

Boon Loo Boon Thau Loo - University of Pennsylvania

P. Madhusudan P. Madhusudan - University of Illinois, Urbana-Champaign

Milo Martin Milo Martin - University of Pennsylvania

George Pappas George Pappas - University of Pennsylvania

Alberto Sangiovanni-Vincentelli Alberto Sangiovanni-Vincentelli - University of California, Berkeley

Sanjit Seshia Sanjit Seshia - University of California, Berkeley

Armando Solar-Lezama Armando Solar-Lezama - Massachusetts Institute of Technology

Paulo Tabuada Paulo Tabuada - University of California, Los Angeles

Stavros Tripakis Stavros Tripakis - University of California, Berkeley

Moshe Vardi Moshe Vardi - Rice University

Steve Zdancewic Steve Zdancewic - University of Pennsylvania