< Office: 2205Web: http://www.clip.dia.fi.upm.es/~nswobodaPhone: +34-91-336-6901ORCID: https://orcid.org/0000-0002-3095-3115Email: nswoboda@fi.upm.esResearcherID: http://www.researcherid.com/rid/G-1239-2013Research group: The Computational logic, Languages, Implementation, and Parallelism LaboratoryScopus Author ID: https://www.scopus.com/authid/detail.uri?authorId=6506753168