Postdoctoral Researcher
Institute for Software Research
Carnegie Mellon University; and
Electrical Engineering and Computer Science
University of Michigan
Email: romulo [at]

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.

Latest News


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.