Apresentação
Eu sou Professor Adjunto de Ciência da Computação no Instituto de Informática da Universidade Federal do Rio Grande do Sul (UFRGS) em Porto Alegre/Brasil.
Minha pesquisa foca no uso de linguagens e métodos formais na modelagem e estudo de sistemas computacionais. Em particular, venho trabalhando com modelos baseados em reescrita de grafos, por exemplo, gramáticas de grafos. Além disso, também tenho interesse em linguagens de programação funcionais tais como Haskell e, de modo geral, na conexão entre computação e lógica.
Costumo lecionar disciplinas como programação funcional, introdução à lógica, semântica formal de linguagens de programação, teoria dos grafos e análise combinatória.
Contato
Email: rma [AT] inf.ufrgs.br
Endereço: Av. Bento Gonçalves, 9500 (Campus do Vale UFRGS)
Prédio: 43424 (Instituto de Informática)
Sala: 217
CEP: 91.509-900
Telefone: ++55 (51) 3308-6158