PI
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.
iir@umich.edu
PhD Students
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.
emzhao@umich.edu
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.
narter@umich.edu
Visiting Students
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.