Omitir los comandos de cinta
Saltar al contenido principal
Inicio de sesión
Universidad EAFIT
Carrera 49 # 7 sur -50 Medellín Antioquia Colombia
Carrera 12 # 96-23, oficina 304 Bogotá Cundinamarca Colombia
(57)(4) 2619500 contacto@eafit.edu.co

Docentes e investigadores EAFIT Andrés Sicard Ramírez - Docentes e Investigadores

EAFITDocentes e investigadores EAFITAndrés Sicard Ramírez - Docentes e Investigadores

Andrés Sicard Ramírez

​​​​​​​​​​​​​​​​​​Departamento de Ciencias Matemáticas​​

Información general

Doctor en Informática, Universidad de la República, Uruguay.​

Contacto

Resumen CV / 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). 

Publicaciones / Publications

Última modificación: 05/09/2017 17:03