About me

I have a Bachelor degree in Computer Science from the Universidade Federal de Sergipe, and a Master of Science degree in Computer Science from Universidade Federal do Rio Grande do Sul.

My main research interests are Software Engineering and Highly Distributed Systems. I also have experience with Graph Grammars and Formal Verification of Software.