Héctor Luis GRAMAGLIA
Oficina
: 366
Telefon
o: +54 351 4334051 Int. 366
Página Web personal
:
E-Mail
:
gramagli@famaf.unc.edu.ar
Grupo
: Semántica Algebraica
Tema de investigación
Expansiones de reticulados.
Métodos formales de corrección de programas.