Events Calendar

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

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