Complex Engineering Systems Laboratory

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. He is interested in all aspects of complex systems, emphasizing formal methods and AI that support their compositional design and analysis. Before pursuing a PhD, Inigo worked as an IC designer in Austin.

Rohan is an incoming Ph.D. student in Electrical and Computer Engineering at the University of Michigan, advised by Professor Inigo Incer. His interests are in using formal methods to verify software and systems, as well as the intersection of type theory, logic, and category theory. Previously, he earned a B.S. in Computer Science and in Mathematics from the Georgia Institute of Technology.

Andrew is an incoming Ph.D. student in Electrical and Computer Engineering at the University of Michigan, advised by Professor Inigo Incer. He will be graduating from Cornell University in May 2026 with a B.A. in Mathematics and Computer Science. His research interests are in applied category theory and its applications to control systems.

Yiğit is a Ph.D. student in the Electrical and Computer Engineering Department at the University of Michigan. He earned his BS in Electrical and Electronics Engineering from Bilkent University. His research interests lie at the intersection of convex optimization, applied probability, and machine learning, with a focus on their applications in signal processing and healthcare. He is particularly passionate about developing mathematical and algorithmic tools to address real-world challenges in medical decision-making and intelligent systems.

Emily is a first year PhD student in the Electrical and Computer Engineering Department at the University of Michigan - Ann Arbor. She is advised by Professor Inigo Incer. She is interested in using formal methods and other mathematical techniques to rigorously design and verify systems. Previously, she earned her Bachelor's in Mathematics at the Georgia Institute of Technology, where she also worked on formally verifying control systems at the Georgia Tech Research Institute.

Tim is a first-year master's student in the Aerospace Engineering Department at the University of Michigan, focusing on space systems and systems engineering. He is interested in applying formal methods of systems engineering to a wide variety of complex systems, including space and automotive applications. Previously, Tim earned his undergraduate degree in mechanical engineering from Purdue University in 2022 and then spent three years in the automotive industry prior to pursuing his master's degree.

Stefan Panjkovic is a PhD student in Computer Science at the University of Trento and the Fondazione Bruno Kessler research center. He obtained his Bachelor's degree at the University of Trento in 2020, and his Master's degree in Computer Science at ETH Zurich in 2022. His research interests are in the areas of AI planning, temporal reasoning and formal verification. During his studies, he has worked as a software developer and junior research assistant at the Embedded Systems unit in Fondazione Bruno Kessler, doing research in the area of temporal planning, and applying the developed techniques in industrial projects.