Herramientas Personales
Usted está aquí: Inicio → Investigación → Lógica y Lenguajes
 

Lógica y Lenguajes

Grupos/Temas

-Logica y Computabilidad - GLyC: http://www.glyc.dc.uba.ar/

 

El grupo tiene tres líneas de investigación:

1) Aspectos computacionales de la lógica (complejidad, poder expresivo, teoría de prueba y teoría de modelos, en particular de lógicas modales y multivaluadas)
2) Teoría de la Computabilidad (aleatoriedad algorítmica, complejidad de Kolmogorov y sus aplicaciones)
3) Procesamiento de Lenguaje Natural (lingüística computacional y extracción de información).

 

- Reescritura, cálculo lambda y sistemas de tipos: http://www.dc.uba.ar/inv/grupos/reescritura

Trabaja sobre distintas líneas de investigación:

1) la definición y el estudio de sistemas de tipos de las distintas formulaciones del cálculo lambda, con el fin de que garanticen buenas propiedades, por ejemplo, preservación, terminación y confluencia
2) variantes del cálculo lambda que incorporan patrones a su sintaxis, con reglas de evaluación adecuadas, con el fin de mejorar la expresividad respecto del cálculo clásico
3) el análisis de distintos sistemas de sustituciones explícitas para el cálculo lambda, los que sirven de nexo entre la teoría general y la implementación, con la verificación de sus propiedades fundamentales 4) el estudio de formulaciones abstractas de sistemas de reescritura.

- Formalex

- Lenguages y sistemas de tipos para concurrencia

 

 

Profesores: 

- Verónica Becher

- Eduardo Bonelli

- José Castaño

- Santiago Figueira

- Hernán Melgratti (coordinador)

- Alejandro Ríos

- Ricardo Rodriguez

- Fernando Schapachnik

Doctorandos: Facundo Carreiro, Carlos Lombardi, Gabriela Steren.

 

 

Acciones de Documento