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...
- My ORCID: 0000-0002-3984-2868
- My ResearcherID: P-4531-2019
- My SCOPUS: 56265072000
- My GitHub: raulgut
- My DBLP: Raúl Gutiérrez
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).
- ...
Tools
As developer:
- MU-TERM: Verify termination properties automatically
Termination Competition 2025:
TRS Context Sensitive, TRS Conditional, 
TRS Equational, TRS Innermost
FLoC Olympic: 2022 - AGES: Automatic GEneration of order-sorted first-order logical modelS
- infChecker: Infeasibility Checker for Conditional Rewrite Systems
Confluence Competition 2025: Infeasibility
FLoC Olympic: 2022 - CONFident: Confluence Checker for Conditional Rewrite Systems (together with M. Vítores)
Confluence Competition 2025: CTRS, 
TRS, SRS
FLoC Olympic: 2022 - Equality Enrichments for Order-Sorted Maude Theories
- Variant-Based Decidable Satisfiability in Initial Algebras with Predicates Tool