Inigo Incer

Assistant Professor

University of Michigan
Country flagUnited States

Research Interests

Explore related searches

About

Dr. Inigo Incer is an Assistant Professor at the University of Michigan, USA. His research primarily focuses on contract theory, layered control systems, and the synthesis of linear temporal logic (LTL) contracts. Recent publications include works on hypercontracts and assume-guarantee contracts, contributing to efficient compositional analysis and design methodologies.

Articles (5)

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Collaborators (1)

Aaron Ames

Professor

California Institute of Technology

UNITED STATES
View details
ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.