Raúl Gutiérrez
Associate Professor (Contratado Doctor) at the Universidad Politécnica de Madrid.
Address
Departamento de Lenguajes y Sistemas Informáticos e Ingeniería de Software (DLSIIS)
ETS de Ingenieros Informáticos
Universidad Politécnica de Madrid
Campus de Montegancedo
28660 Boadilla del Monte (Madrid)
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
- 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 2022:
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 2022: Infeasibility
FLoC Olympic: 2022 - CONFident: Confluence Checker for Conditional Rewrite Systems (together with M. Vítores)
Confluence Competition 2022: CTRS, 
TRS, SRS
FLoC Olympic: 2022 - Equality Enrichments for Order-Sorted Maude Theories
- Variant-Based Decidable Satisfiability in Initial Algebras with Predicates Tool