Raúl Gutiérrez

Assistant Professor (Ayudante 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...

Tools

As main developer:

I also have contributed to: