DIEGO VAGGIONE
Responsable
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 e 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.
- Dr. Miguel Campercholi
- Dr. Héctor Gramaglia
- Dr. Diego Vaggione
- Dr. Pedro Sánchez Terraf
- Lic. Mariana Badano
- Lic. Pablo Celayes
- Lic. Mauricio Tellechea
- Lic. Mariana Furlán
Para mayor información sobre el grupo puede vistar la página del mismo haciendo clic aquí