A highlight of this semester’s seminar series was the opportunity to welcome Guest
Professor Pierluigi Nuzzo. Professor Pierluigi Nuzzo is an Associate Professor in the Department of Electrical
Engineering and Computer Sciences (EECS) at the University of California, Berkeley.
Professor Nuzzo shared his expertise on cutting-edge research related to Trustworthy
Autonomous Cyber-Physical Systems, providing participants with exposure to
advanced methodologies and new research perspectives.
His lecture focsued on rigorous methods and tools for designing and verifying complex cyber-physical systems. It introduces mathematical modeling, system synthesis, and verification techniques, focusing on a powerful contract-based framework known as assume-guarantee contracts. This approach enables modular design, stepwise refinement, and compositional verification. Applications include avionics, robotics, manufacturing systems, and autonomous system certification.