Inigo Incer
Assistant Professor
University of Michigan
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
Make your next move.
Prepare your application
Review drafts before you send them.