Skip directly to: content | search

ExCAPE: Expeditions in Computer Augmented Program Engineering

image/svg+xml Programming Languages Bodik Foster Solar - Lezama Zdanewic HCI Hartmann Robotics Kavraki Kress Gazit Computer Architecture Martin Networking Loo Formal Verfication Alur Partha- sarathy Seshia Tripakis Vardi Computer Aided Design Sangio- vanni Control Systems Lafortune Pappas Tabuada Collaboration across Disciplines

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