Pierluigi Nuzzo

Departmental WebpageBiography

Kenneth C. Dahlberg Early Career Chair Associate Professor of Electrical Engineering and Computer Science 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: EEB 346 Hughes Aircraft Electrical Engineering Center 3740 McClintock Avenue, Los Angeles, CA 90089-2563 Phone: 213-740-9079 E-mail: nuzzo at usc.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.