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:
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
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