Search

Guest Professor Pierluigi Nuzzo

This is the logo of the PhD school. There is a text with [TextACPS] and on the left a symbol depicting a list of nodes.TrustACPS Doctoral College / News / Guest Professor Pierluigi Nuzzo
18. May 2025
High-Assurance Design Methods for Trustworthy Cyber-Physical Systems: A Contract-Based Approach
© Pierluigi Nuzzo
Pierluigi Nuzzo

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.

About Cookies

Our website uses cookies to ensure you get the best experience on our website, for analytical purposes, to provide social media features, and for targeted advertising. This it is necessary in order to pass information on to respective service providers. If you would like additional information about cookies on this website, please see our Data Protection Declaration.

  • These cookies are required to help our website run smoothly.

    Name Purpose Lifetime Type Provider
    wordpress_test_cookie Testing-Cookie to check whether cookies are allowed. 1 Year HTTP Homepage TUW
    PHPSESSID Used by WordPress to retain the state of your current user session for all page requests. Session HTTP Homepage TUW
    wordpress_logged_in_{hash} Used by Wordpress to keep users logged in. {hash} represents an unique user token. 1 Year HTTP Homepage TUW
    wp-settings-time-{id} Used to customize your view of admin interface, and possibly also the main site interface. 1 Year HTTP Homepage TUW
    wordpress_sec_{hash} This cookie is used to store your authentication details. Its use is limited to the admin console area. {hash} represents an unique user token. 1 Year HTTP Homepage TUW
    wp-settings-{id} Used to customize your view of admin interface, and possibly also the main site interface. 1 Year HTTP Homepage TUW
    wp-wpml_current_language Stores the current language. This cookie is enabled by default on sites that use the Language filtering for AJAX operations feature. 1 Day HTTP Homepage TUW
    wp-wpml_current_admin_language_{hash} Stores the current WordPress administration area language. {hash} represents an unique user token. 1 Day HTTP Homepage TUW
    CookieConsent_374094 Saves your settings for the use of cookies on this website. 1 Year HTML Homepage TUW

  • These cookies help us to continuously improve our services and adapt our website to your needs. We statistically evaluate the pseudonymized data collected from our website.

    Name Purpose Lifetime Type Provider
    _pk_id.136.56ce Used to store a few details about the user such as the unique visitor ID. 13 months HTML Matomo TUW
    _pk_ref Is used to store the information of the users home website. 6 months HTML Matomo TUW
    _pk_ses.136.56ce Is needed to store temporary data of the visit. 30 minutes HTML Matomo TUW