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.
Affiliation: IMDEA Software Institute and T.U. of Madrid (UPM)
Personal website: http://www.clip.dia.fi.upm.es/~mcarro
Research interests: Constraint and logic programming, implementation, service-oriented computing, parallel computing, compilation for hybrid architectures
|PADL 2019||Author of Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP within the PADL 2019-track|
Committee Member in Program Committee within the PADL 2019-track
|Show activities from other conferences|