He obtained his PhD at the UPM, and his research interests include declarative languages (especially logic and constraint-based ones), their implementation and analysis, parallelism, concurrency, visualization, and service-oriented computing. He has served as PC member in many conferences and publishind more than 60 papers in national and international conferences and journals.'