Almorzando con Sergio Mera y Daniel Gorin

Desde su nacimiento, la Computación ha estado intimamente ligada a la Lógica. Hoy en día, el interés por la Lógica es impulsado en mucha mayor medida desde la Computación que desde otras disciplinas historicamente afines, como la Matemática o la Filosofía. Actualmente la Computación abarca un número muy diverso de áreas de interés, y en cada una de ellas ciertas lógicas se adecuan mejor que otras. Los criterios a la hora de elegir una lógica son principalmente: un lenguaje acorde al dominio de uso, poder expresivo suficientemente alto y, en la medida de lo posible, un bajo costo computacional. Algunos de los intereses principales de GLyC (Grupo de Investigación en Lógica y Computabilidad) son el estudio de propiedades de lógicas de buen comportamiento computacional (en especial lógicas modales) y el desarrollo de herramientas de demostración automática para las mismas. El objetivo de esta charla es presentar una visión general de las actividades de GLyC, y dar un panorama de los principales intereses dentro del área.

Sergio Mera y Daniel Gorín son licenciados en Ciencias de la Computación de este departamento, y alumnos de doctorado desde 2004. Antes de comenzar con su doctorado, trabajaron en el sector privado algunos años, tarea que prefirieron abandonar por encontrarla redituable pero aburrida. El director de tesis de ambos es el Dr. Carlos Areces, investigador del INRIA, Francia. Su campo de investigación es el estudio de variedades de lógicas modales y sus propiedades, como decidibilidad, completitud y poder expresivo. También están interesados en la demostración automática y el desarrollo de aplicaciones para ciertas lógicas modales. Actualmente, uno de los principales intereses de cada uno es lograr diferenciarse del otro.