Inicio | Ingresantes | Estudiantes | Doctorandos | Docentes | No Docentes | Agenda de Eventos

famaf
Famaf

Home » Investigación » Computación » Semántica Algebraica

Semántica Algebraica

Una de las herramientas más fuertes en el estudio de las propiedades sintácticas de los lenguajes formales (consistencia, corrección, formas normales, etc.) es sin lugar a dudas el desarrollo de su semántica asociada. Esto, en el contexto de diversas áreas de la matemática tales como lógica, la teoría de lenguajes, el álgebra universal, la teoría de dominios  de Scott, la teoría de modelos, las especificaciones algebraicas, ha llevado a un estudio muy desarrollado de la semántica en un sentido algebraico.

Los principales temas de investigación de este grupo son: variedades con discriminador, haz de Pierce, representaciones globales de estructuras reticuladas (tipo Birkhoff), productos Booleanos, estructuras de congruencias en expansiones de reticulados distributivos, elementos centrales en variedades con la propiedad de Fraser-Horn, álgebras de acumulación para transformación de algoritmos sobre estructuras de punteros.

Integrantes:

 

flecha_azul VOLVER AL INICIO