TORRES MONTIEL, EDUARD
???label.profesorado.docencia???
| ???label.profesorado.ensenyament??? | ???label.profesorado.curso??? | ???label.profesorado.asignatura??? |
|---|---|---|
| Master's Degree in Informatics Engineering | ARTIFICIAL INTELLIGENCE | |
| PARS Enginyeria Informàtica | 1 | COMPUTATIONAL LOGIC |
| Master's Degree in Informatics Engineering | 1 | ARTIFICIAL INTELLIGENCE |
| Double degree: Degree in Computer Engineering and Degree in BAM | 1 | COMPUTATIONAL LOGIC |
| Degree in Computer Engineering | 1 | COMPUTATIONAL LOGIC |
| Grau en Enginyeria Informàtica | 2 | ALGORÍTMICA I COMPLEXITAT |
| PARS Enginyeria Informàtica | 3 | ARTIFICIAL INTELLIGENCE |
| Grau en Enginyeria Informàtica | 3 | ARTIFICIAL INTELLIGENCE |
| Degree in Computer Engineering | 3 | ARTIFICIAL INTELLIGENCE |
| Double degree: Degree in Computer Engineering and Degree in BAM | 4 | ARTIFICIAL INTELLIGENCE |
???label.profesorado.recerca???
???label.profesorado.recerca.grupo???: Logic, Optimization and Robotics(LOR)
| ???label.profesorado.recerca.proyectos??? | ???label.profesorado.recerca.proyectos.dataInici??? | ???label.profesorado.recerca.proyectos.dataFi??? | ???label.profesorado.recerca.proyectos.investigadors??? |
|---|---|---|---|
| TASSAT 2: Teoría y Aplicaciones en Satisfactibilidad y Optimización de Restricciones | 01/01/2014 | 30/06/2017 | CARLOS J. ANSOTEGUI GIL |
| 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 |