Andrés Sicard Ramírez

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


Last modified: Mon Jan 22 23:16:55 -05 2024 Valid XHTML
        1.1