I'm an adjunct professor at the Department of Computing at Federal Rural University of Pernambuco (DC-UFRPE), Brazil. From 2015 to 2016, I was a Postdoctoral Fellow at VU University Amsterdam, Netherlands. In March 2014, I finished my Ph.D degree in Computer Science at Informatics Center at Federal University of Pernambuco (Cin-UFPE). From 2010 to 2011, I was a visiting scholar at the Department of Electrical and Computer Engineering at Duke University, USA, under the supervision of Dr. Kishor Trivedi. I also have over ten years of experience in the industry, working with test and quality assurance.
My current research interests (but not limited) are:
- Critical Infrastructure Resilience
- Fault Tolerance
- Semi-Formal Models
- Petri Nets