Es matemático. Realizó su pregrado, su maestría y su doctorado en matemáticas en la Universidad Nacional de Colombia, sede Bogotá. Desde 1996 se desempeña como profesor del Departamento de Matemáticas y Estadística de la Facultad de Ciencias de la Universidad del Tolima.

ORCID: https://orcid.org/0000-0002-5370-6002

Áreas de investigación: Lógica clásica, lógicas modales, Lógica intuicionista, lógicas multivaluadas,  historia de la lógica y lógica gráfica.