Who we are

Babel is a research group at the “Escuela Técnica Superior de Ingenieros Informáticos” (roughly a Computer Science faculty) at the Universidad Politécnica de Madrid, Spain.

During its more than 20 years of existence the Babel group has always focused on industrially applicable research in programming languages and formal methods, as demonstrated by numerous successful cooperations between our research group and industrial partners.

Moreover, we have extensive experiences in participating in collaborative research projects, both internationally in various European research programmes, and nationally in Spain.