ALÒS PASCUAL, JOSEP
Teaching
| Teaching | Course | Subject |
|---|---|---|
| PARS Enginyeria Informàtica | 1 | COMPUTATIONAL LOGIC |
| Doble titulació: Grau Eng.Informàtica i Grau en Administr.Direcció Empreses | 1 | COMPUTATIONAL LOGIC |
| Degree in Computer Engineering | 1 | COMPUTATIONAL LOGIC |
Research
| Research projects | Start date | End date | Main researchers |
|---|---|---|---|
| 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 |