Manuel Carro

PhD - Universidad Politécnica de Madrid (UPM), España

Research Professor and Deputy Director

Instituto IMDEA Software
Edificio IMDEA Software
Campus Montegancedo UPM
28223-Pozuelo de Alarcón, Madrid
SPAIN

Office: 036
Telephone: +34-91-101-2202 ext 4140
Fax: +34-91-101-1358
Webpage: http://software.imdea.org/people/manuel.carro/index.html
Email:

Short bio

Manuel Carro received his Ph.D. degree in Computer Science from the Technical University of Madrid, Spain, in 2002, where he is a tenured Associate Professor. He joined IMDEA as Deputy Director in April 2011.

He has been involved in several European, national, and regional projects in the CLIP lab. He has been the UPM representative in the steering committee of the NESSI ETP and is currently conference coordinator of the Association of Logic Programming.

Research Interests

Manuel's research interests include implementation and design of declarative (especially logic and constraint) languages, parallelism, and concurrency, service oriented computing (especially regarding quality prediction and design-time analysis of service compositions for quality and correctness). Manuel is currenctly actively working on the role of data in the behavior of service-oriented systems and workflows, and the application of analysis and reasoning techniques from the field of programming languages and advanced operational semantics for logic languages (mixing, e.g., tabling / memoing and parallelism) and their implementation.

Other topics Manuel is interested in include visualization, formal methods, verification techniques, and analysis and transformation of workflows.