Andrés Sicard Ramírez
Doctor en Informática, Universidad de la República, Uruguay.
Resumen/Summary
I am professor in the Mathematical Sciences Department and I am head of the Logic and Computation research group at EAFIT University.
Intereses académicos e investigativos/Research and Teaching Interest
My research interests are verification of functional programs, type theory, proof assistants and hypercomputation.
Estudios realizados/Education
Doctorado en Informática, Universidad de la República (Uruguay).
Maestría en Ingeniería Informática, Universidad EAFIT (Colombia).
Pregrado en Ingeniería de Sistemas, Universidad EAFIT (Colombia).
Datos de contacto
Correo
asr@eafit.edu.co.
Dirección
carrera 49 número 7 sur 50, Medellín (Colombia). Bloque 38, oficina 529.