I am associate professor at Universidad Politécnica de Madrid, member of the research Babel Group at UPM. My main research area concerns aspects related to theory of programming and specification languages (design, semantics, implementation, applications, and teaching), formal methods, concurrency, and software design.

Apart from this research activity, I teach several courses on programming and some short lectures on formal methods.

I am committed to the knowledge transfer (KT) and I use to get involved in non-academic and industrial projects where I try to apply academic knowledge to solve challenging real problems. My main areas of collaboration are: functional programming, formal methods, advanced testing, concurrency and paralellism, distribution, fault tolerance, scalability and software architecture.