About Me

Hi! I’m a Ph.D. student in Electrical and Computer Engineering at the University of Michigan, working with Prof. Inigo Incer in the Complex Engineering Systems Laboratory. My research focuses on finding both mathematical and computational ways to reason about complex systems, particularly when they involve many interacting components or uncertainty.

Much of my current work is on contract-based design, formal methods, optimization, and probability. I’ve been working on extending assume-guarantee contracts to support temporal specifications (GR(1) contracts) and, more recently, probabilistic specifications. Alongside the theory, I’m extending Pacti, an open-source Python tool for computing contract operations, to handle these richer types of specifications. This involves developing algorithms for operations such as contract composition, quotient, and variable elimination. The probabilistic side draws heavily on linear algebra, linear programming, duality, and polyhedral methods, which allow us to reason about interconnected systems without assuming that their behaviors are independent. Looking forward, my goal is to explore how these ideas could be applied to learning-enabled and multi-agent systems, including those involving neural networks.

Another direction I’ve been exploring is nonlinear stability. Our recent work on degree-m stability looks at different rates of convergence in dynamical systems and how they can be characterized mathematically. More generally, I’m interested in optimization, machine learning, control theory, and signal processing, and I enjoy finding connections between these areas.

Before coming to Michigan, I earned my B.S. in Electrical and Electronics Engineering from Bilkent University. As an undergraduate, I worked on several quite different problems. At Bilkent, I worked on a project combining probability and optimization to design screening strategies for multiple diseases. We modeled competing disease risks and formulated the screening decisions as a constrained linear optimization problem. This led to my first-author paper, “Unified Screening for Multiple Diseases”, published at ICML 2025. I also spent time at EPFL, working on deep-learning-based neuron segmentation, and completed a senior design project on neural-network-based radar target detection.

What I enjoy most about research is digging into the heavy theory/mathematics behind a problem and then figuring out how to turn those ideas into algorithms and tools that can actually be used. I hope to keep exploring both sides of that process throughout my Ph.D.

You can learn more about my background and research through my Bio and Publications pages. Please feel free to reach out!

Research Interests

Last updated: October 2026