Herranz @ Babel . UPM

I am associate professor 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) and formal methods. Apart from this research activity, I teach several courses on programming and some short lectures on formal methods.

I believe in the academic engagement: knowledge related collaboration with non-academic organizations. I use to be involved in non-academic 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.