Research
Topics of interest
- Algebraic graph rewriting
- Semantics of programming languages
- Functional programming languages
- Logic and formal methods in software development
- Category theory
- Type systems
Participation in Research Projects (current)
- Verites: validation, verification and Test of Computational Systems
- Project leader: Leila Ribeiro
Students (current and past)
- 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
Publications