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.

News

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:

• Ramón y Cajal (senior researcher positions) and Juan de la Cierva (young postdoc positions) Programmes from Spain's Ministry of Education and Science.
• Alßan Programme for EU research grants.

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

• Formal acknowledgement as a research group by the Technical University of Madrid (UPM): BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnologia Declarativa.
• The group is part of SpaRCIM, the Spanish member of the European Research Consortium for Informatics and Mathematics (ERCIM).
• The group is part of the catalogue of research groups of Madri+d (Group 150).
• The group is an associated member of the European Research Centre for Information Systems (ERCIS).

Teaching

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.

Location

The group's main laboratory is located at:

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

Map