Soy matemático (1997) y maestro en ciencias (2000) por la Facultad de Ciencias de la UNAM.

En el periodo 2000-2004 hice estudios de doctorado en los Institutos de Matemáticas y Ciencias de la Computación de la Universidad Ludwig-Maximilians en München, Alemania, donde obtuve el grado con una disertación en el área de Ciencia de la Computación Teórica, específicamente en Teoría de Lenguajes de Programación. Desde el 1 de mayo de 2007 soy profesor de tiempo completo en el Departamento de Matemáticas de la Facultad de Ciencias UNAM, actualmente en el nivel Titular "B". Fui coordinador de la licenciatura en Ciencias de la Computación de la Facultad de Ciencias en el periodo 2018-2022.

Soy investigador nacional nivel 1 (SNI-Conacyt), mi área de investigación general radica en aspectos deductivos de las lógicas no clásicas (teoría estructural de la prueba) y sus aplicaciones desde la Ciencia de la Computación Teorica (sistemas de cálculo lambda, Correspondencia de Curry-Howard) hasta la Filosofía. A este respecto me interesa el desarrollo de sistemas deductivos útiles para la práctica matemática y filosófica, así como el estudio de aspectos epistemológicos de las pruebas asistidas por computadora y sus repercusiones en el concepto de demostración en matemáticas. En específico me interesa analizar pruebas mecanizadas originadas en procesos de verificación formal de programas funcionales y aquellas producidas por la mecanización de teorías matemáticas, en especial las que involucran la formalización de razonamientos diagramáticos. Estos temas resultan relevantes para la Filosofía de la Computación y de la Práctica Matemática.