am a PhD student studying control systems in the Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor. My advisor is Prof. Necmiye Ozay

My current research focuses on formal methods of hybrid control systems.