Rate My Professor Pierluigi Nuzzo

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).