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

​​​​Grupo de investigación en Lógica y Computación​​​​​​​​​​​​​

Realiza actividades enfocadas en la construcción de modelos de computabilidad y a establecer sus relaciones con algunos modelos ya existentes; además de instaurar las diferentes posibilidades que ofrece la física cuántica, y en general la física moderna, para la construcción de nuevos modelos de computación y programación. 

Más información​​​​

​​​

Gene​rali​dades del grupo​​​

Nombre del grupo

Grupo de investigación en Lógica y Computación

​Código Colciencias

COL0013352​

Categoría Colciencias

B

Escuela a la que pertenece

Ciencias

Líder

Andrés Sicard Ramírez​

asr@eafit.edu.co​​

​


Perfil comercial

​​El grupo desarrolla métodos para la corrección, depuración, escritura, transformación y verificación de programas lógicos y/o funcionales, mediante el empleo de técnicas formales.​

Descargar perfil comercial.​​

​