Teaching | Course | Subject |
---|---|---|
Master's Degree in Informatics Engineering | ARTIFICIAL INTELLIGENCE | |
Grau en Enginyeria Informàtica | 1 | INTRODUCTION TO PROGRAMMING I |
PARS Enginyeria Informàtica | 3 | ARTIFICIAL INTELLIGENCE |
Grau en Enginyeria Informàtica | 3 | COMPUTER NETWORKS AND COMMUNICATIONS |
Grau en Enginyeria Informàtica | 3 | WEB PROJECT |
Degree in Computer Engineering | 3 | ARTIFICIAL INTELLIGENCE |
Double degree: Degree in Computer Engineering and Degree in BAM | 4 | ARTIFICIAL INTELLIGENCE |
Research projects | Start date | End date | Main researchers |
---|---|---|---|
Sistemas de Demostración Prácticos Mas Allá de Resolución. | 01/06/2020 | 29/02/2024 | CARLOS J. ANSOTEGUI GIL, JORGE LEVY DÍAZ |
Satisfactibilidad y Optimización con Certificados de Prueba más allá de Resolución - Aplicaciones (PROOFS BEYOND-A) | 01/09/2023 | 31/08/2026 | CARLOS J. ANSOTEGUI GIL, JORGE LEVY DÍAZ |