Pierluigi Nuzzo
Scholar

Pierluigi Nuzzo

Google Scholar ID: GsDdaaYAAAAJ
EECS Department, University of California, Berkeley
System DesignTrustworthy AIHardware SecurityCyber-Physical SystemsAMS Design
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,048
 
H-index
23
 
i10-index
54
 
Publications
20
 
Co-authors
37
list available
Contact
No contact links provided.
Publications
3 items
Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning
2026
Cited
0
Systematic Evaluation of Knowledge Graph Repair with Large Language Models
2025
Cited
0
CORE: Constraint-Aware One-Step Reinforcement Learning for Simulation-Guided Neural Network Accelerator Design
2025
Cited
0
Resume (English only)
Academic Achievements
  • Recipient of the 2023 IEEE CEDA Ernest S. Kuh Early Career Award for 'outstanding contributions to high-assurance design of cyber-physical systems using a contract-based design methodology'
  • Multiple papers accepted and awarded at top-tier conferences, including:
  • — Best Paper Award at DATE 2024: 'Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism'
  • — Two 'Best of Session' awards at DASC 2023 for papers on automated assurance cases and certification
  • — Publications in DATE, DAC, CDC, IROS, ICASSP, ISQED, SAFECOMP, and DASC
  • Successfully supervised PhD students (e.g., Subhajit, Chanwook) through thesis defenses; students have received honors such as the USC Viterbi Best Research Assistant Award
Co-authors
37 total
Alberto Sangiovanni Vincentelli
Alberto Sangiovanni Vincentelli
Professor of EECS, University of California, Berkeley
Sanjit A. Seshia
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
George Pappas
George Pappas
UPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvania
Co-author 8
Co-author 8