Andrés Sicard Ramírez

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 Valid XHTML
        1.1