TORRES MONTIEL, EDUARD
Docencia
| Enseñanza | Curso | Asignatura |
|---|---|---|
| MU en Ingeniería Informática | INTELIGENCIA ARTIFICIAL | |
| MU en Ingeniería Informática | 1 | INTELIGENCIA ARTIFICIAL |
| Grau en Enginyeria Informàtica | 1 | PROGRAMACIÓN I |
| PARS Enginyeria Informàtica | 3 | INTELIGENCIA ARTIFICIAL |
| Grau en Enginyeria Informàtica | 3 | INTELIGENCIA ARTIFICIAL |
| Grado en Ingeniería Informática | 3 | INTELIGENCIA ARTIFICIAL |
| PARS Enginyeria Informàtica | 4 | TRABAJO DE FIN DE GRADO |
| Grau en Enginyeria Informàtica | 4 | SEGURIDAD DE APLICACIONES Y COMUNICACIONES |
| Grau en Administració i Direcció d'Empreses | 4 | TRABAJO DE FIN DE GRADO |
| Grado en Ingeniería Informática | 4 | TRABAJO DE FIN DE GRADO |
| Doble Titulación: Grado en Ingeniería Informática y Grado en ADE | 4 | INTELIGENCIA ARTIFICIAL |
| Doble Titulación:Grad en Derecho y Grado en ADE | 5 | TRABAJO DE FIN DE GRADO |
| Doble Titulación: Grado en Ingeniería Informática y Grado en ADE | 5 | TRABAJO DE FIN DE GRADO |
| Doble titulació: Grau en Administració i Direcció d'Empreses i Turisme | 5 | TRABAJO DE FIN DE GRADO |
Investigación
Grupo de investigación: Logic, Optimization and Robotics(LOR)
| Proyectos de investigación | Fecha inicio | Fecha fin | Investigadores principales |
|---|---|---|---|
| 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 |
| Automatizando Sistemas de Prueba Prácticos más allá de Resolución | 01/09/2026 | 31/08/2029 | CARLOS J. ANSOTEGUI GIL |