Cursó la Licenciatura en Matemáticas en la Facultad de Ciencias de la Universidad Nacional Autónoma de México, la Maestría en Filosofía de la Ciencia (Matemáticas) en la Universidad Autónoma Metropolitana, y el Doctorado en Filosofía de la Ciencia también en la UNAM.

Como profesor de matemáticas, impartió más de 150 cursos en licenciatura y posgrado entre los cuales se encuentran Álgebra superior, Lógica Matemática y Temas Selectos de Posgrado. Se enfocó principalmente en temas como Lógica Matemática, Teoría de Conjuntos, Didáctica de la Lógica, Lógica y Computación y, dentro de esta última, Programación Lógica, Demostración Automática de Teoremas y Lógica en Inteligencia Artificial.

En cuanto a su actividad en investigación, formó el Grupo de Lógica Matemática, considerado como uno de los grupos más importantes del Departamento de Matemáticas de la Facultad de Ciencias.

Recibió los siguientes Reconocimientos:

•     Fue Investigador Nacional del Sistema Nacional de Investigadores
•     Medalla “Alfonso Caso” por sus estudios de doctorado
•     Premio “Norman Sverdlin” a la mejor tesis doctoral. 2001
•     Premio Universidad Nacional en Docencia en Ciencias Exactas. 2008

Falleció en 2011.