I am Associate Professor of Computer Science at Instituto de Computação (Computing Institute) of Universidade Federal Fluminense (UFF), I lead the Theoretical Computer Science Research Group at the Computing Institute of UFF and I am a member of FADoSS research group at Universidad Complutense de Madrid. I am also a collaborator of TecMF at PUC-Rio and TCS Co-Innovation Network partner. I have obtained my PhD. from Pontifícia Universidade Católica do Rio de Janeiro in 2001. During my PhD., I have been a visiting scholar at the Computer Science Laboratory of SRI International. I was a postdoc researcher at the Computer Science Department of the University of Illinois at Urbana-Champaign, Computer Science Department of Swansea University, Facultad de Informática de la Universidad Complutense de Madrid and Informatics Department of Pontifícia Universidade Católica do Rio de Janeiro. I was a semantics lead at Runtime Verification Inc. from Nov. 2021 to Apr 2023.
My main research interests are formal methods and semantics of programming languages. Formal Compiler Construction is the focus of my current research initiatives. A large part of my research has Rewriting Logic as its underlying logical and semantic framework with the Maude system. The Maude MSOS Tool (MMT), developed together with Fabricio Chalub, is a good example, and so are BMaude and the Π Framework.