• Español
  • English
Facultad de Ingeniería
›
INCO
›
Investigación

    Grupo de Métodos Formales

    Presentación:

    El grupo de Métodos Formales del INCO se formó a comienzos del año 1998. Sus principales áreas de investigación son "Constructive Type Theory", "FormalVerification of Reactive Systems" y "Generic Programming and Program Fusion".

    Líneas de Investigación:

    • Métodos Formales

Responsables

    Alberto Pardo

Integrantes

    Carlos Luna
    Guillermo Calderon
    Gustavo Betarte
    Luis Sierra
    Marcos Viera
    Monica Martinez
    Sylvia da Rosa

Más Información