Skip directly to: content | search

ExCAPE: Expeditions in Computer Augmented Program Engineering

image/svg+xml Lead PI: Rajeev Alur (Penn) == Associate Director: Dana Fisman (Penn) Executive Committee Industrial Advisory Board Brunell (GE), Chandra (Samsung), Godbole (Honeywell), Godefroid (Microsoft), Gupta (NEC), Kuehlmann (Coverity), Mosterman (Mathworks), Wegman (IBM), Zave (AT&T) Robotic Systems High Level Planning Kavraki, Kress-Gazit Leads: Lafortune, Pappas, Seshia, Tabuada, Vardi Contributors: Alur, Bodik, Lafortune Loo, Pappas Networked Systems Routing Protocols Contributors: Programming for Mobile Apps Foster, Solar-Lezama Leads: Bodik Contributors: Tools&Evaluation Hartmann,Parthasarathy Leads: All PIs Contributors: Research Organization Challenge Problems Education&Knowledge Transfer Lafortune,Zdancewic Leads: All PIs Contributors: Alur (Penn), Bodik (Berkeley), Lafortune (Michigan), Sangiovanni (Berkeley), Vardi (Rice) Leads: Multicore Systems Distributed Protocols Martin, Tripakis Leads: Contributors: Alur, Parthasarathy Research Themes Design Methodology Bodik, Sangiovanni Leads: All PIs Contributors: Computational Engines Tabuada, Vardi Leads: Alur, Lafortune, Pappas, Madhusudan, Seshia, Tripakis Contributors: Personalized Education Hartmann, Seshia Leads: Alur, Zdancewic,Seshia, Solar-Lezama Contributors: Challenge Problems

ExCAPE: Expeditions in Computer Augmented Program Engineering NSF National Science Foundation Award CCF-1138996