Cirney Ricardo Jose Borges Carneiro

Possui graduação em Ciência da Computação pela Universidade Federal do Pará (1995) e mestrado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (1999). Tem experiência na área de Ciência da Computação, com ênfase em Semântica Formal, atuando principalmente nos seguintes temas: semântica formal, categorias computacionais, programação concorrente e distribuída e banco de dados.