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 am recruiting Ph.D. students for Fall 2023

I am also looking for graduate and undergraduate students to join our lab. Please send me your CV, if you are interested.

Latest News

  • [01/2023] I joined the Department of Electrical Engineering at Penn State as an Assistant Professor.
  • [01/2023] Our paper "Dealing with sensor and actuator deception attacks in supervisory control" has been published in Automatica.
  • [12/2022] Our paper "Robustification of Behavioral Designs against Environmental Deviations" has been accepted at ICSE 2023.
  • [12/2022] New work on runtime resolution interaction has been accepted at SEAMS 2023.
  • [09/2022] Our work on robust and permissive controllers has been accepted at WODES 2022.
  • [06/2022] I am excited to announce that I will be joining the Department of Electrical Engineering at Penn State as an Assistant Professor in January 2023.