Es matemático de la Universidad de los Andes y doctor en lógica matemática de la Universidad de Wisconsin-Madison (1984).