Docencia / Teaching 

                Curso 2018-19:  Las asignaturas están disponibles en eGela (https://egela.ehu.es)

• Programación Funcional (PF): asignatura optativa en el Grado en Ingeniería Informática (4º curso).
• Programación Lógica (PL): asignatura optativa en el Grado en Ingeniería Informática (4º curso).

                Otras asignaturas y cursos de doctorado (impartidos en los últimos años):

• Programación Básica (PB), Modelos Abstractos de Cómputo (MAC1), Autómatas y Lenguajes Formales (ALF), Fundamentos de Lenguajes de Programación (FLP), Metodología de la Programación (MP).
• Cursos doctorado: Programación Funcional Monádica, Lenguajes Declarativos.
• Diseño de sistemas usando métodos visuales (DSMV), en el Master en Sistemas Informáticos Avanzados (http://www.sistemasinformaticosavanzados.ehu.es)

        Investigación / Research

SpecSatisfiabilityTool for testing specifications on XML documents

  TRS: A Resolution-based Theorem prover for Temporal Logic PLTL 

Marisa Navarro  (Last Modified: September 2018)