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.
Last modified: Sat Mar 15 19:58:57 -05 2025 |