Pierluigi Nuzzo

Pierluigi Nuzzo is an Associate Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He received the Ph.D. in Electrical Engineering and Computer Sciences from UC Berkeley in 2015, and B.S. and M.S. degrees in electrical and computer engineering from the University of Pisa, Italy, and the Sant'Anna School of Advanced Studies, Pisa. Before returning to UC Berkeley, he held the Kenneth C. Dahlberg Early Career Chair and was an Associate Professor of Electrical and Computer Engineering and Computer Science at the University of Southern California (USC), Los Angeles, where he also served as Co-Director of the USC Center for Autonomy and Artificial Intelligence. Earlier in his career, Nuzzo occupied research positions at the University of Pisa and IMEC, Leuven, Belgium, focusing on analog and mixed-signal integrated circuit design.

Nuzzo's research revolves around high-assurance design of cyber-physical systems and systems-on-chip, spanning mathematical foundations, design tools, and applications, with emphasis on compositional methods for system design and requirement engineering. His academic interests include methodologies and tools for the design and certification of artificial intelligence and autonomous systems, secure and trustworthy hardware design, and mixed-signal electronic design automation. He has earned prestigious awards and honors such as the NSF CAREER Award (2019), DARPA Young Faculty Award (2020), IEEE Technical Committee on Cyber-Physical Systems Early-Career Award (2022), IEEE Council on Electronic Design Automation Ernest S. Kuh Early Career Award (2023), Okawa Foundation Research Grant (2022), UC Berkeley EECS David J. Sakrison Memorial Prize, and UC Berkeley Outstanding Graduate Student Instructor Award, in addition to several best paper and design competition awards. Notable publications include "Secure state estimation for cyber-physical systems under sensor attacks: A satisfiability modulo theory approach" (IEEE Transactions on Automatic Control, 2017), "A platform-based design methodology with contracts and related tools for the design of cyber-physical systems" (Proceedings of the IEEE, 2015), "A Contract-Based Methodology for Aircraft Electric Power System Design" (IEEE Access, 2014), "Noise analysis of regenerative comparators for reconfigurable ADC architectures" (IEEE Transactions on Circuits and Systems I: Regular Papers, 2008), and "SMT-based observer design for cyber-physical systems under sensor attacks" (ACM Transactions on Cyber-Physical Systems, 2018).

Professional Email: nuzzo@eecs.berkeley.edu