Raúl Gutiérrez
Associate Professor (Titular de Universidad) at the Universitat
Politècnica de València.
Address
Departamento de Sistemas Informáticos y Computación (DSIC)
Escuela Politécnica Superior de Alcoy
Universitat Politècnica de València
Plaza de Ferrándiz y Carbonell, s/n
03801 Alcoy (Alicante)
España
Contact
You can find me here.
Research
My research fields include the Analysis of Computational
Properties, Program Verification,
Resource Analysis, Model Generation
and
Cryto Protocol Analysis. I also love programming
using Haskell, Maude,
Prolog...
Teaching
- Proyecto RII 2: Desarrollo y Programación, Grado en Informática Industrial y Robótica (2024/2025).
- Introducción a la Programación, Grado en Informática Industrial y Robótica (2024/2025).
- Ingeniería del Software, Grado en Ingeniería Informática (2024/2025).
- Estructuras de Datos y Algoritmos, Grado en Ingeniería Informática (2024/2025).
- Programación, Grado en Ingeniería Informática (2024/2025).
- Proyecto RII 2: Desarrollo y Programación, Grado en Informática Industrial y Robótica (2023/2024).
- Ingeniería del Software, Grado en Ingeniería Informática (2023/2024).
- Programación, Grado en Ingeniería Informática (2023/2024).
- Introducción a la Informática y a la Programación, Grado en Ingeniería Informática (2023/2024).
- Redes de Computadores, Grado en Ingeniería Informática/Doble Grado en Ingeniería Informática y ADE (2022/2023).
- Representación e Intercambio de Datos, Grado en Ciencia de Datos (2022/2023).
- Redes de Computadores, Grado en Ingeniería Informática/Doble Grado en Ingeniería Informática y ADE (2021/2022).
- Representación e Intercambio de Datos, Grado en Ciencia de Datos (2021/2022).
- Programming for Data Science, Máster Universitario en Ciencia de Datos/Máster Universitario en Innovación Digital (2021/2022)
- Redes de Computadores, Grado en Ingeniería Informática (2020/2021).
- Representación e Intercambio de Datos, Grado en Ciencia de Datos (2020/2021).
- Programming for Data Science, Máster Universitario en Ciencia de Datos/Máster Universitario en Innovación Digital/EIT Digital Master Programme on Fintech (2020/2021).
- ...
As developer:
I also have contributed to: