João Antonio Recio da Paixão
Grau: Professor
Área: Métodos Formais
Área: Linguagens Diagramáticas
Área: Teoria de Categorias Aplicada
Área: Álgebra Linear Gráfica
Área: Álgebra da Programação
Área: String Diagrams
Área: Álgebra Linear Computacional
Local: Rio de Janeiro
Instituição
Instituto de Computação (IC) da Universidade Federal do Rio de Janeiro (UFRJ).