I am a third year PhD candidate in the Electrical Engineering and Computer Science department at the University of Michigan, Ann Arbor. I study control theory under my coadvisors Necmiye Ozay and Stephane Lafortune. I graduated from the University of Tennessee, Knoxville in May 2018 with a B.S. in Electrical Engineering and double major in Mathematics.
I am interested in security and safety of cyberphysical systems within the frameworks of hybrid systems and discrete event systems. I am currently working on opacity verification and enforcement along with abstraction-based control and controlled invariant set computation.
Please contact me via email if you have any inquiries. You can also find me on Github: