RODRIGO

About me

I am a Professor Adjunto of Computer Science at the Institute of Informatics of the Federal University of Rio Grande do Sul (UFRGS) in Porto Alegre/Brasil.

The focus of my research lies in the use of formal languages and formal methods to model and reason about computing systems. In particular, I work with models based on graph rewriting such as graph grammars. I also have interest in functional languages such as Haskell, and in the interaction between logic and computer science.

I usually teach courses on functional programming, introduction to logic, formal semantics of programming languages, graph theory and combinatorics.

Contact Information

Email: rma [AT] inf.ufrgs.br
Address: Av. Bento Gonçalves, 9500 (Campus do Vale UFRGS)
Building: 43424 (Institute of Informatics)
Room: 217
Postal Code: 91.509-900
Phone number: ++55 (51) 3308-6158