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 é professor associado 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.