DANIEL EDGARDO FRIDLENDER
Subresponsable
Semántica de la Programación
El Grupo de Semántica de la Programación trabaja sobre los fundamentos de los lenguajes de programación, la descripción y formalización de su semántica, incluyendo certificación de compiladores. Más recientemente también ha comenzado a trabajar en formalización de matemáticas.
- Formalización de Lenguajes de Programación
- Formalización de Matemática
- Estructura Categórica de Álgebras Implicativas
- Dr. Daniel Fridlender
- Dr. Alejandro Gadea
- Dr. Emmanuel Gunther
- Dr. Miguel Pagano
- Dr. Leonardo Rodríguez
- Dr. Mallku Soldevilla
- Lic. Matilda Steinberg
- Lic. Martín Vilela
- Anl. Christian Moreno
- Anl. Iván Renison
- Juan Domandl