Sobre el grupo
GLyC (Grupo en Lógica y Computabilidad) es un colectivo de investigación del Departamento de Computación y el Instituto de Ciencias de la Computación de la UBA-CONICET. Está integrado por docentes y estudiantes de grado y posgrado.
El grupo trabaja en tres áreas temáticas principales: lógica computacional, aleatoriedad algorítmica y computabilidad, y fundamentos de la computación cuántica. Su trabajo es predominantemente teórico, con énfasis en los fundamentos lógico-matemáticos del cómputo.
GLyC mantiene afiliación con el Departamento de Computación (FCEyN-UBA), el Instituto de Ciencias de la Computación y CONICET. Tiene su sede en el Pabellón 0+Infinito, Ciudad Universitaria.
Líneas de investigación (3)
Lógica computacional
Estudio de sistemas lógicos y sus implicaciones computacionales.
Aleatoriedad algorítmica y computabilidad
Investigación de conceptos de aleatoriedad y teoría de la computabilidad.
Fundamentos de computación cuántica
Trabajo teórico sobre los principios de la computación cuántica.
Investigadores (12)
