POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Manuel Carro

Registered user since Mon 1 Feb 2016

Name:Manuel Carro
Bio:

Manuel Carro received his Bachelor degree in Computer Science from the Technical University of Madrid (UPM), and his PhD degree from the same University in 2003. He is currently Associate Research Professor and Director at the IMDEA Software Institute, and an Associate Professor at the Technical University of Madrid. He has previously been representative of UPM at the NESSI and INES technological platforms, and is now representative of UPM at SpaRCIM and deputy representative of IMDEA Software at ERCIM and Informatics Europe. He has published over 80 papers in international conferences and journals, and received best paper awards at ICLP 2005 and ICSOC 2011. He has been organizer and PC member of many international conferences and workshops, and participated in research projects at the regional, national, and European level. He was UPM’s principal investigator for the S-Cube European Network of Excellence and is currently the principal investigator of a European, a national, and a regional research project. He has completed the supervision of three PhD thesis and is actively supervising another one.

His interests span several topics, including the design and implementation of high-level (logic- and constraint-based) programming languages, answer-set programming, the analysis of service-based systems, the use of program transformation techniques for compilation on hybrid architectures, and the effective usage of formal specifications in the process of teaching programming. He has long been interested in parallel programming and parallel implementations of declarative languages, and visualization of program execution.

Country:Spain
Affiliation:IMDEA Software Institute and T.U. of Madrid (UPM)
Research interests:Constraint and logic programming, implementation, service-oriented computing, parallel computing, compilation for hybrid architectures

Contributions

2024

Symposium on Practical Aspects of Declarative Languages

Show activities from other conferences

POPL 2024-profile
View general profile