Assistant Professor
Department of Electrical Engineering
The Pennsylvania State University
romulo [at] psu.edu

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.

I will be on the program committe for the Workshop in Discrete Event Systems (WODES) 2024 in Rio de Janeiro. Please consider submitting your work to WODES.

Latest News