Logo: University of Southern California

Events Calendar

  • Center of Autonomy and AI, Center for Cyber-Physical Systems and the Internet of Things, and Ming Hsieh Institute Seminar Series

    Thu, Nov 11, 2021 @ 02:00 PM - 03:00 PM

    Ming Hsieh Department of Electrical and Computer Engineering

    Conferences, Lectures, & Seminars

    Speaker: Inigo Incer, University of California, Berkeley

    Talk Title: The Algebra of Contracts

    Series: Center for Cyber-Physical Systems and Internet of Things

    Abstract: Contract-based design has been proposed as a formal design methodology to support compositional design in industry. Assume-guarantee (AG) contracts are formal specifications consisting of two trace properties: (i) assumptions made on the environment and (ii) responsibilities imposed on the object under specification when the environment behaves according to the contract's assumptions. In this talk, we will first discuss all algebraic operations known on AG contracts, and the applications of these operations in engineering design. As there are many formal design attributes, such as secure information flow, that cannot be expressed with trace properties or AG contracts, we will then discuss the theory of hypercontracts, which enables us to carry out assume-guarantee reasoning in complex systems using arbitrary hyperproperties.

    Biography: Inigo Incer is a doctoral candidate at UC Berkeley advised by Alberto Sangiovanni-Vincentelli. He is interested in all aspects of cyber-physical systems, emphasizing AI and formal methods that support their compositional design and analysis. Before pursuing a PhD, Inigo was an IC designer in Austin. His work has been supported by a UC Berkeley Chancellor's Fellowship and by NSF and DARPA grants.

    Host: Pierluigi Nuzzo

    Webcast: https://usc.zoom.us/webinar/register/WN_p5OEJlPxQlakO4hqovuGEQ

    Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248

    WebCast Link: https://usc.zoom.us/webinar/register/WN_p5OEJlPxQlakO4hqovuGEQ

    Audiences: Everyone Is Invited

    Contact: Talyia White


Return to Calendar