My main area of research is in the interface of dynamical systems, formal methods, and control systems.
I am particularly interested in analyzing the resilience of control systems and designing resilient correct-by-construction safe and secure control systems.
My research considers both resiliency against benign malfunctions/uncertainties and malicious attacks.
Supervisory control; formal methods; cyber-physical systems; security; reactive systems.
- [06/2022] I am excited to annouce that I will be joining the Department of Electrical Engineering at Penn State as an Assistant Professor in January 2023.
- [04/2022] I was selected to participate in the CPS Rising Stars Workshop 2022
- [04/2022] I presented about the MDESops tool at the IEEE CSS TC DES Virtual Talk Series 2022
- [04/2022] I will be serving on the AE program committee for FORMATS 2022
- [04/2022] Our SEAMS 2022 paper got accepted: Run-Time Adaptation of Quality Attributes for Automated Planning. You can find the preprint here
I am currently a Postdoctoral Researcher with joint appointments at the Institute for Software Research at the Carnegie Mellon University and the Deparment of Electrical Engineering and Computer Science at the University of Michigan. At my postdoctoral position, I am advised by Eunsuk Kang, Stavros Tripakis and Stéphane Lafortune. I received my Ph.D. in Electrical and Computer Engineering from the University of Michigan in 2020, working with Stéphane Lafortune. Prior University of Michigan, I earned my B.S. degree in Electrical Engineering from the Universidade Tecnológica Federal do Paraná - Curitiba in 2015.