Ingenieria Informática
Curso 2012/2013
Líneas de investigación
- Programación declarativa multiparadigma
- Métodos formales para la programación
- Informática gráfica
- Ingeniería del software e inteligencia artificial
- Control, modelado, simulación y robótica
- Automatización del diseño de sistemas digitales
- Computación de altas prestaciones y computación en grid