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),
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.
Projects page has a list of current and previous research
The Babel group is now organizing Madrid Erlounges, that is,
meetings to discuss Erlang around some beer and tapas. Keep
informed by subscribing to
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
- 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
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
Our group takes part in the European Master on Computational
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