Manuel Carro

Manuel Carro is an Associate Research Professor and holds a dual appointment as Associate Professor at Universidad Politécnica de Madrid, Spain. He serves as Director and previously as Deputy Director at IMDEA. His research focuses on declarative programming languages, parallelism, service-oriented computing, and formal methods. He leads projects in the CLIP lab and participates in European/ national initiatives.

Education:

• PhD in Computer Science, Universidad Politécnica de Madrid (2002)

Research Highlights: Manuel investigates implementation of logic/constraint languages, quality analysis of service compositions, and data-driven behavior in service-oriented systems. He applies advanced operational semantics techniques like tabling and parallelism. His work also covers workflow analysis, visualization, and verification techniques.

Affiliations:

• UPM Representative in NESSI ETP Steering Committee
• Conference Coordinator, Association of Logic Programming

Labs & Teams: Active in the CLIP lab, focusing on programming language implementation and service-oriented computing research.