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 (on leave at Google)

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


Research Scientists


Dana Fisman, Associate Director, University of Pennsylvania


Postdocs

Eric Dallal

Morteza Lahijanian

Konstantinos Mamouras

Daniel Neider

Arjun Radhakrishna

Xiaokang Qiu


PhD Students

Behnaz Arzani, University of Pennsylvania

Ayca Balkan, University of California, Los Angeles

Shaon Barman, University of California, Berkeley

Sarah Chasins, University of California, Berkeley

Chen Chen, University of Pennsylvania

Pei-Yu (Peggy) Chi, University of California, Berkeley

Garvit Juniwal, University of California, Berkeley

Jonathan DeCastro, Cornell University

Pranav Garg, University of Chacago, Ilinois

Dorsa Sadigh, University of California, Berekely

Keliang He, Rice university

Thibaud Hottelier, University of California, Berkeley

Jinseong Jeon, University of Maryland, College Park

Gangyuan Jing, Cornell University

Ryan Luna, Rice University

Phitchaya Mangpo Phothilimthana, University of California, Berkeley

Kuldeep Meel, Rice University

Fei Miao, University of Pennsylvania

Salar Moarref, University of Pennsylvania

Julie Newcomb, University of California, Berkeley

Mukund Raghothaman, University of Pennsylvania

Shamwaditya Saha, University of Illinois at Urbana-Champaign

Ali Sinan Koksal, University of California, Berkeley

Nimit Singhania, University of Pennsylvania

Nishant Totla, University of California, Berkeley

Sina Yamac Caliskan, University of California, Los Angeles

Xiang Yin, University of Michigan

Yifei Yuan, University of Pennsylvania


Alumni

Alvin Cheung, Faculty, University of Washington

Eric Dallal, Postdoc, University of California, Los Angeles

Loris D'Antoni, Faculty, University of Wisconsin, Madison

Alexander Gurney, Comcast

Ruediger Ehlers, Faculty, University of Bremen in Germany

Thibaud Hottelier, Graphistry

Sela Mador-Haim, Coverity

Leo Meyerovich, Graphistry

Peter-Michael Osera, Faculty, Grinnell College

Arun Raghavan, Oracle Labs

Vasumathi Raman, Postdoc, Caltech

Matthias Rungger, Postdoc, Technical University Munich, Gernmay

Indranil Saha, Faculty, IIT Kanpur

Rishabh Singh , Microsoft Research

Christos Stergiou, Google

Yasser Shoukry, Postdoc, UCLA / Berkeley

Emina Torlak, Faculty, University of Washington

Abhishek Udupa, Mircrosoft Research

Anduo Wang, Faculty, Temple University

Yi-Chin Wu, Postdoc, University of Michigan


Industrial Advisory Board

Brent Brunell, GE Global Research

Satish Chandra, Samsung

Datta Godbole, Honeywell

Patrice Godefroid, Microsoft

Aarti Gupta, NEC

Andreas Kuehlmann, Coverity

Pieter Mosterman, Mathworks

Mark Wegman , IBM

Pamela Zave, AT&T

 

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