Necmiye OzayView profile
Associate Professor
Necmiye Ozay is an Associate Professor in Robotics and Electrical and Computer Engineering at the University of Michigan. Her research focuses on control systems, formal methods, and cyber-physical systems, with applications in autonomy, system identification, and verification. She leads a diverse research group encompassing PhD, MS, and undergraduate students, as well as postdoctoral researchers. Her work bridges theory and practice, addressing challenges in safety-critical systems design and data-driven control. Her educational background includes a PhD in Electrical and Computer Engineering from Northeastern University and a Master’s from Penn State. She has received significant funding from NSF, ONR, and industry partners, supporting projects like the CLEVR-AI initiative and Scenic ecosystem development. Her research has been recognized through awards and collaborations at institutions like MIT, Berkeley, and Johns Hopkins. Key research areas include model-based control synthesis, robust system identification, and anomaly detection in cyber-physical systems. Notable contributions include methods for correct-by-construction control, hybrid system analysis, and learning-based approaches for autonomous systems. She actively contributes to conferences such as HSCC and CDC, and her lab’s work impacts automotive safety, energy systems, and robotics. Ozay’s advising spans over 50 students and postdocs, many of whom hold academic or industry roles. Her lab maintains active collaborations across disciplines, emphasizing interdisciplinary solutions to real-world control challenges.










