TEACHERS

Pablo holds a PhD in Computer Engineering from the UPM. Pablo holds a PhD from the University of Nottingham in the UK. He has participated in the implementation of Programming and Communication in Compulsory Secondary Education in the Community of Madrid. His research areas are related to theoretical computer science, logic and programming languages: test-driven debugging, generic functional programming, abstract data types and category theory, parsing, relational algebra and unification, program transformation, operational semantics and lambda calculus.