Universidad Politécnica de Madrid

 

Universidad Politecnica de Madrid is the oldest and largest of the Spanish Technical Universities. The work in the PROWESS project will be conducted by members of the Babel research group located at the Facultad de Informática of Universidad Politécnica de Madrid. The Babel group has a strong background in programming and specification languages, and in formal methods related research.
The Babel group has a strong background in programming and specification languages, and in formal methods related research. Examples include work on the design, semantics and an implementation of the Curry functional-logical programming language, and recently on the verification of Erlang programs using model checking techniques.

Contact: Lars-Åke Fredlund