Descripción:

Nuestro grupo de investigación nace de la fusión de dos células de investigación de la escuela de Ciencias y Humanidades, de la Universidad EAFIT. Dichas células -una del departamento de Humanidades, la otra del departamento de Ciencias Básicas- se han consagrado a trabajar durante los últimos años sobre los siguientes ámbitos problemáticos: Computabilidad, computación cuántica, lógicas no clásicas y métodos formales para la programación. 

Investigadores: 

• Andrés Sicard Ramírez
• Francisco José Correa Zabala
• Juan Carlos Agudelo Agudelo
• Juan Fernando Ospina Giraldo
• Manuel Hernando Sierra Aristizábal
• Mario Elkin Vélez Ruiz

Líneas de Investigación: 

• Computabilidad
• Computación cuántica
• Lógicas no clásicas
• Lógicas, lenguajes y algoritmos