OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Inigo Incer
Assistant Professor, Electrical Engineering and Computer Science, University of Michigan - Ann Arbor
Joined
April 2023
Names
Inigo Incer
(Preferred)
,
Inigo Xabier Incer
Emails
****@gmail.com
(Confirmed)
,
****@umich.edu
(Confirmed)
Personal Links
Homepage
Google Scholar
DBLP
ORCID
Career & Education History
Assistant Professor
Electrical Engineering and Computer Science,
University of Michigan - Ann Arbor
(umich.edu)
2024
–
Present
Postdoc
Computing and Mathematical Sciences,
California Institute of Technology
(caltech.edu)
2022
–
2024
Advisors, Relations & Conflicts
PhD Advisor
Alberto Sangiovanni-Vincentelli
Present
Expertise
Category theory
Present
Formal methods
Present
Cyber-physical systems
Present
Publications
Reasoning over Test Specifications Using Assume-Guarantee Contracts
Apurva Badithela
,
Josefine B Graebener
,
Inigo Xabier Incer
,
Richard Murray
NFM
Readers:
Everyone
Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design
Inigo Xabier Incer
,
Apurva Badithela
,
Josefine B Graebener
,
Piergiuseppe Malozzi
,
Ayush Pandey
,
Nicolas Rouquette
,
Sheng-Jung Yu
,
Albert Benveniste
,
Benoit Caillaud
,
Richard Murray
,
Alberto Sangiovanni-Vincentelli
,
Sanjit A. Seshia
ACM Transactions on Cyber-Physical Systems
Readers:
Everyone
Co-Authors
Albert Benveniste
Alberto Sangiovanni-Vincentelli
Apurva Badithela
Ayush Pandey
Benoit Caillaud
Josefine B Graebener
Nicolas Rouquette
Piergiuseppe Malozzi
Richard Murray
Sanjit A. Seshia
Sheng-Jung Yu