Grau en Enginyeria Informàtica Igualada

TORRES MONTIEL, EDUARD

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

Docència

Ensenyament Curs Assignatura
PARS Enginyeria Informàtica 1 LÒGICA COMPUTACIONAL
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
Grau en Tècniques d'Interacció Digital i de Computació - UdL 3 PROJECTE WEB

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