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.

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 a Ph.D. student in Electrical and Computer Engineering at the University of Michigan, advised by Professor Inigo Incer. He graduated from Cornell University with a B.A. in Mathematics and Computer Science. His research interests span formal methods, cyber-physical systems, control theory, and category theory.

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 Ph.D. student in the Electrical and Computer Engineering Department at the University of Michigan - Ann Arbor. She is interested in using formal methods and other mathematical techniques to rigorously design engineering systems. Previously, she earned her Bachelor's in Mathematics at the Georgia Institute of Technology, where she also worked on formally verifying systems at the Georgia Tech Research Institute.

Venkat is a Master's student in the Department of Mechanical Engineering at the University of Michigan. He is interested in developing safe and reliable autonomous systems for robotic and automotive applications. Previously, he earned his undergraduate degree in Mechanical Engineering from the Indian Institute of Technology Madras (IIT Madras).

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.

Luke is a second-year undergraduate computer engineering student at the University of Michigan. Currently, his interests involve computer graphics and game development. His work with the Complex Systems lab will be creating a visualization tool for Assume-Guarantee reasoning.

Peilin Li is an undergraduate student in the Electrical and Computer Engineering Department at the University of Michigan. His interests span artificial intelligence, machine learning, and computing systems, with a particular focus on how computational methods can be used to address challenging problems. He enjoys exploring new ideas, learning from different perspectives, and developing deeper insights through research.

Cixian is an undergraduate senior majoring in Electrical Engineering at the University of Michigan. Her research focuses on the learning of formal methods, informal to formal specification translations, and Linear Temporal Logic, as well as the testing of Assume-Guarantee (AG) contract based unmanned aerial vehicle systems.