Doctorado (Ph. D., matemáticas): Universidad de Massachusetts, Amherst, EE.UU. Maestría (matemáticas): Universidad de Massachusetts, Amherst, Estados Unidos. Maestría (matemáticas puras): Université Paris VI, París, Francia. Licenciatura: Université Paris VI, París, Francia.

Es Profesor titular del Departamento de Matemáticas de la Universidad Nacional de Colombia. Director de la División de Investigación (1998-2000) de la Universidad Nacional, ha ofrecido numerosos cursos y seminarios en lógica matemática y filosofía de la matemática. Ha recibido numerosos reconocimientos literarios, entre los que se cuentan los premios centrales de ensayo en el ámbito hispanoamericano: Siglo XXI (México 2013), Jovellanos (España 2004), Gil-Albert (España 2004), Kostakowsky (México 2001), Andrés Bello (Colombia 2000). Ha sido incluido en 100 Global Minds - The Most Daring Cross-Disciplinary Thinkers in the World (Roads, 2015).