Welcome to the Babel Group's site

The Babel Group is part of the Facultad de Informática (School of Computer Science) of the Universidad Politécnica de Madrid - UPM (Technical University of Madrid), Spain.

We conduct research in the area of programming and specification languages: foundations, design, semantics, implementation, applications, teaching, etc.

Our Research page has a description of undergoing research projects.

Our Projects page has a list of current and previous research grants.

The Babel group is now organizing Madrid Erlounges, that is, meetings to discuss Erlang around some beer and tapas. Keep informed by subscribing to the madrid-erlang-users mailing list

Main lines of interest

Specification Languages and Formal Methods
The development of specification and programming languages, techniques, and environments that employ formal methods and declarative technology for the production of high-quality software.
Logic and Functional-Logic Languages
Design, analysis, semantics, and implementation of logic and functional-logic languages with efficient negation capabilities.
Theoretical Foundations
Mobility, names, and modularity in the lambda calculus. Relational programming, category theory, intuitionistic semantics of logic languages, constructive set theory, linear logic, and advanced type systems.
Formal Reasoning about Concurrent Programs
Operational semantics of concurrent programming languages, specification logics and proof systems, compositional verification, and code rewriting techniques to enforce compliance with security properties.
Datatype-Generic and Generative Programming
Language extensions and type systems for datatype-generic programming with abstract data types. Language processors and compiler generation.

Research opportunities:

Looking for a good partner in European Projects? We have been very active in European programmes. Have a look to our expertise.

Research group references


Our group has teaching responsibilities in all the topics related with programming languages and methodologies in the School of Computer Science.

Our group takes part in the European Master on Computational Logic.


The group's main laboratory is located at:

Campus de Montegancedo s/n,
Facultad de Informática, Universidad Politécnica de Madrid
Boadilla del Monte 28660
Phone: +34 91 3365017
Fax: +34 91 3363669