I am professor in the Mathematical Sciences Department and I am head of the Logic and Computation research group at EAFIT University.
My research interests are verification of functional programs, type theory, proof assistants and hypercomputation.