TORRES MONTIEL, EDUARD

Categoria: LECTOR/A
Perfil acadèmic: Doctorat
Departament: ENGINYERIA INFORMÀTICA I DISSENY DIGITAL
Adreça electrònica: eduard.torres@udl.cat

Docència

Ensenyament Curs Assignatura
MU en Enginyeria Informàtica - UdL INTEL·LIGÈNCIA ARTIFICIAL
PARS Enginyeria Informàtica 1 LÒGICA COMPUTACIONAL
MU en Enginyeria Informàtica - UdL 1 INTEL·LIGÈNCIA ARTIFICIAL
Grau en Enginyeria Informàtica - UdL 1 LÒGICA COMPUTACIONAL
Doble titulació: Grau en Eng.Informàtica i Grau en Admin.Direcció Empreses 1 LÒGICA COMPUTACIONAL
Grau en Enginyeria Informàtica - UdL 2 ALGORÍTMICA I COMPLEXITAT
PARS Enginyeria Informàtica 3 INTEL·LIGÈNCIA ARTIFICIAL
Grau en Enginyeria Informàtica - UdL 3 INTEL·LIGÈNCIA ARTIFICIAL
Doble titulació: Grau en Eng.Informàtica i Grau en Admin.Direcció Empreses 4 INTEL·LIGÈNCIA ARTIFICIAL

Recerca

Grup de recerca: Logic, Optimization and Robotics(LOR)
Projectes de recerca Data inici Data fi Investigadors principals
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