Teaching activities

Subjects

• Estructuras de Datos (Máster en Ingeniería Informática. Plan 2018)
• Métodos Formales para la Ingeniería del Software (Graduado/a en Ingeniería del Software. Plan 2010)
• Métodos para la Construcción de Software Fiable (Máster en Ingeniería del Software e Inteligencia Artificial. Plan 2021)

Anual Tutories

Tutories 1st Semester

Tutories 2nd Semester

Actividad Investigadora

Área

Lenguajes y Sistemas Informáticos

Publicaciones

Colaboración

Tesis

Financiación

Indicadores

• 
• 
• 
• 
• 
• 
• 
• 
• 
• 
• 
•