Pesquisa
Áreas de Interesse:
- Reescrita de grafos algébrica
- Semântica de linguagens de programação
- Linguagens de programação funcionais
- Lógica e métodos formais no desenvolvimento de software
- Teoria das categorias
- Sistemas de tipos
Participação em Projetos de Pesquisa (atuais)
- Verites: validação, verificação e teste de sistemas computacionais
- Liderado por Leila Ribeiro
Estudantes (atuais e anteriores)
- Vitor Bujés Ubatuba de Araújo. Mestrando PPGC (2014-). Co-orientação. Orientador: Alvaro Freitas Moreira.
- Thiago Rafael Becker. Graduado CIC. Iniciação científica FAPERGS/PROBIC (2013-2015). Trabalho de Graduação.
- Ricardo Gabriel Herdt. Graduando CIC. Iniciação científica CNPq (2013-2015).
- Leonardo Marques Rodrigues. Graduando CIC. Iniciação científica CNPq.
- Vagner Franco Pereira. Graduado ECP. Trabalho de Graduação
Publicações