Pierluigi Nuzzo

UC Berkeley WebpageUSC WebpageBiography

Associate Professor of Electrical Engineering and Computer Sciences Department of Electrical Engineering and Computer Sciences Industrial Cyber-Physical Systems Center University of California, Berkeley Ming Hsieh Department of Electrical and Computer Engineering Thomas Lord Department of Computer Science Center for Cyber-Physical Systems and the Internet of Things Center for Autonomy and Artificial Intelligence University of Southern California Contact Information Office: 567 Cory Hall, Berkeley, CA 94720 Phone: 213-740-9079 E-mail: nuzzo at eecs.berkeley.edu

I am interested in system design and its automation. My research areas include:

• Methodologies and tools for high-assurance design of cyber-physical systems and systems-on-chip;
• Contracts and compositional methods in embedded system design and requirement engineering;
• Application of automated formal methods and optimization theory to problems in embedded and cyber-physical systems, electronic design automation, security, and artificial intelligence (AI);
• Formal foundations, analysis, and design methods for hardware IP protection;
• Design and certification of safe and dependable AI-enabled autonomous systems.