Inigo Incer

Inigo Incer is an Assistant Professor of Electrical and Computer Engineering at the University of Michigan. He obtained his PhD in Electrical Engineering and Computer Sciences from UC Berkeley in 2022 and was subsequently a postdoctoral researcher at Caltech. His work led to the discovery of the majority of the known operations on contracts that are relevant to system design. He also leads the development of Pacti, the only software package that computes contract operations and returns contracts at the interfaces of the components being specified. Pacti is a tool to design and analyze complex systems and has been used in applications ranging from synthetic biology to space mission design.