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