Actividades docentes

Asignaturas

• Estructuras de Datos (Graduado/a en Ingeniería Informática. Plan 2023)
• 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)

Tutorías anuales

Tutorías 1er semestre

Tutorías 2do semestre

Actividad Investigadora

Área

Lenguajes y Sistemas Informáticos

Publicaciones

Colaboración

Tesis

Financiación

Indicadores

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