Andrés Sicard Ramírez
Soy profesor del área de Ciencias Fundamentales de la Escuela de Ciencias Aplicadas e Ingeniería
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)