Researchers: 

Narciso Martí Oliet (Full Professor, Fac. Computing UCM)

David de Frutos Escrig (Full Professor, Fac. Math. UCM)

Yolanda Ortega Mallén (Associate Professor, Fac. Math. UCM)

Miguel Palomino Tarjuelo (Associate Professor, Fac. Computing UCM)

Fernando Rosa Velardo (Associate Professor, Fac. Computing UCM)

María Inés Fernández Camacho (Associate Professor, Fac. Math. UCM)

Isabel Pita Andreu (Associate Professor, Fac. Computing UCM)

Ignacio Fábregas Alfaro (Post-doc, Fac. Math. UCM)

David Romero Hernández (PhD Student, Fac. Math. UCM)

María Martos Salgado (PhD Student, Fac. Computing UCM)

Lidia Sánchez Gil (PhD Student, Fac. Math. UCM)

 

External collaborators:        

José Meseguer (University Urbana-Champaign Illinois)

Luca Aceto (University of Reykjavik)

IMDEA-Software (research center of excellence funded by the Community of Madrid)