TORRES MONTIEL, EDUARD

Categoría: LECTOR/A
Perfil académico: Grado / licenciatura / ingeniería superior
Departamento: INGENIERÍA INFORMÁTICA Y DISEÑO DIGITAL
Email: eduard.torres@udl.cat

Docencia

Enseñanza Curso Asignatura
PARS Enginyeria Informàtica 1 LÓGICA COMPUTACIONAL
Grado en Ingeniería Informática 1 LÓGICA COMPUTACIONAL
Doble Titulación: Grado en Ingeniería Informática y Grado en ADE 1 LÓGICA COMPUTACIONAL
Grau en Enginyeria Informàtica 2 ALGORÍTMICA Y COMPLEJIDAD
Grado en Técnicas de Interacción Digital y de Computación 3 PROYECTO WEB

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
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
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