Paulo Tabuada

Paulo Tabuada is a Professor in the Department of Electrical and Computer Engineering at the University of California, Los Angeles (UCLA), holding the prestigious Vijay K. Dhir Endowed Chair in Engineering. His academic work centers on cyber-physical systems, control systems, formal methods, and security.

His research integrates theoretical control frameworks with computational verification techniques, emphasizing rigorous mathematical approaches to system security and reliability. This interdisciplinary work bridges electrical engineering and computer science, particularly in developing formal verification tools for physical system control.

Professor Tabuada has received exceptional recognition, including:

• Fellow IEEE (2017)
• Vijay K. Dhir Endowed Chair in Engineering (2017)
• Antonio Ruberti Young Researcher Prize (2015)
• George S. Axelby Award (2011)
• Donald P. Eckman Award (2009)
• NSF CAREER Award (2005)

He directs the Cyber-Physical Systems Laboratory at UCLA, where his research program has attracted significant funding including the NSF CAREER grant. His leadership in control theory and security applications has established him as a key contributor to next-generation cyber-physical infrastructure development.