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
Audiences: Everyone Is Invited
Contact: Talyia White