I am professor in School of Applied Sciences and Engineering at Universidad EAFIT. Currently my research interests are verification of functional programs, type theory, proof assistants and hypercomputation.