Pierluigi Nuzzo

Pierluigi Nuzzo is an Associate Professor in the Department of Electrical Engineering and Computer Sciences at UC Berkeley. His research focuses on high-assurance design methodologies for cyber-physical systems and systems-on-chip, spanning theoretical foundations, formal modeling frameworks, and practical design automation tools. Nuzzo works on compositional methods for system design, requirement engineering, and scalable verification, with special emphasis on ensuring that autonomous and AI-enabled systems meet stringent safety, reliability, and certification requirements. He also investigates trustworthy hardware design, security mechanisms for mixed-signal and digital systems, and frameworks that integrate control, computation, and physical interaction. Before returning to Berkeley, Nuzzo held the Kenneth C. Dahlberg Chair at the University of Southern California, where he co-directed the Center for Autonomy and Artificial Intelligence. He previously worked at the University of Pisa and IMEC on analog and mixed-signal IC design. His work has been recognized with numerous honors, including the NSF CAREER Award, DARPA Young Faculty Award, IEEE TCCPS Early-Career Award, the Okawa Foundation Research Grant, and the IEEE CEDA Ernest S. Kuh Early Career Award. Nuzzo received his Ph.D. from UC Berkeley and B.S./M.S. degrees from the University of Pisa and the Sant'Anna School of Advanced Studies.