Líneas de investigación

  • Técnicas de especificación y verificación de sistemas; Semántica de lenguajes de especificación y programación; Análisis estático de programas y sistemas de tipos; Diseño e implementación de lenguajes de programación funcional paralela; Estudio y aplicaci