Se graduó de Licenciado en Matemática, en 1983, en la Universidad de los Andes (ULA). En 1985 culminó, en el Instituto Venezolano de Investigaciones Científicas (IVIC), la Maestría en Matemática y en 1990 obtuvo, en el California Institute de Technology, el Ph.D en Matemática.
Sus líneas de investigación son: Teoría descriptiva de conjuntos y sus aplicaciones; Topología general: Lógica matemática e Inteligencia artificial (Lógicas no monótonas, razonamientos explicatorios); Matemáticas discretas (Índices topológicos en grafos, combinatoria de palabras). Ha publicado 21 trabajos científicos en prestigiosas revistas internacionales del área de matemáticas y presentados en Congresos nacionales y extranjeros.
Desde el 2000 es Profesor titular de la ULA, institución donde ingresó en 1982. Ha dirigido tesis de Licenciatura y de Maestría en Matemáticas y ha estado como investigador invitado en Universidades de Francia, Canadá y los Estados Unidos.
Ha desempeñado diversos cargos de administración docente y científica, en la ULA, y participado en la organización de varios eventos científicos, en el país, tales como: las Jornadas Venezolanas de Matemáticas, la Escuela Venezolana de Matemáticas y el XI Simposio Latinoamericano de Lógica Matemática, realizado en Mérida, en 1998. Es miembro del Sistema de Promoción al Investigador, Nivel II.