Licenciado en Filosofía y Maestro en Inteligencia Artificial por la Universidad Veracruzana (UV), Doctor en Filosofía de la Ciencia por la Universidad Nacional Autónoma de México (UNAM); tiene estudios en Ciencias Computacionales por la BUAP. Actualmente es docente investigador de la Facultad de Filosofía y Humanidades en la UPAEP. Es miembro del Sistema Nacional de Investigadores (SNI, nivel 1), de la Academia Mexicana de Lógica y de la Association for Symbolic Logic. Realiza su investigación sobre Sistemas formales y Didáctica de la Lógica.

ORCID ID: 0000-0003-2227-921X