Renata Pereira de Freitas

graduate at Licenciatura Em Matemática from Universidade Federal Fluminense (1991), master's at Computer Science from Universidade Federal do Rio de Janeiro (1997) and ph.d. at Computer Science from Universidade Federal do Rio de Janeiro (2002). Has experience in Mathematics, focusing on Mathematics Logic, acting on the following subjects: modal logic, relation algebra and diagrammatic reasoning.

possui graduação em Licenciatura em Matemática pela Universidade Federal Fluminense (1991), mestrado (1997) e doutorado (2002) em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro. Atualmente é professora associada da Universidade Federal Fluminense. Trabalha em Lógica Matemática, atuando principalmente nos seguintes temas: lógica modal, álgebra relacional e raciocínio com diagramas.