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.