Associate Professor Tabuada’s Expeditions in Computing

Associate Professor Paulo Tabuada is involved in a $10 Million NSF Grant to revamp the programming technology used to develop software systems. The Grant entitled, ExCAPE: Expeditions in Computer Augmented Program Engineering is a five-year collaborative effort headed by Dr. Rajeev Alur from the University of Pennsylvania and includes a team of researchers from UCLA, UC Berkeley, Cornell, University of Illinois at Urbana-Champaign, University of Maryland, Massachusetts Institute of Technology, University of Michigan and Rice University.

The ExCAPE project aims to change computer programming from the tedious, error-prone, purely manual task it has always been to one in which a programmer and an "automated program synthesis tool" collaborate to generate software that meets its specifications. Rather than having programmers spend their time on small details, they will be able to leave these details to the synthesis engines and will instead be able to specify high-level goals and provide additional requirements until the desired code can be produced by the synthesizer.

Professor Tabuada, a co-principal investigator, will lead the UCLA research team. He heads the Cyber-Physical Systems Laboratory where he conducts research in modeling, analysis and control of real-time, embedded, networked, and distributed systems.  His research has captured wide recognition and has been honored with the Donald P. Eckman award from the AACC and the George S. Axelby award from the IEEE CSS.