Pierluigi Nuzzo is an Associate Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. His research focuses on high-assurance design of cyber-physical systems, including methodologies for AI, autonomous systems, secure hardware, and electronic design automation. He holds faculty positions at Berkeley and previously at the University of Southern California, where he co-directed the Center for Autonomy and Artificial Intelligence. Education: Ph.D. (UC Berkeley, 2015), M.S./B.S. (University of Pisa and Sant'Anna School) Affiliations: Berkeley Artificial Intelligence Research Lab (BAIR), Berkeley Wireless Research Center (BWRC), Industrial Cyber-Physical Systems Center (iCyPhy) Research interests span compositional methods, system design, and certification frameworks. His work integrates formal verification, optimization, and machine learning to ensure safety and trustworthiness in complex systems. Recent projects include DeFacto (cyber-physical production systems) and secure logic locking for ICs. Awards include the NSF CAREER Award, DARPA Young Faculty Award, and multiple best paper awards. His teaching includes EECS C249B on cyber-physical system design principles.










