جست‌وجوی استاد و پژوهشگر

• Global Program Analysis
• Verification
• Debugging
• +۵ مورد دیگر

Manuel V. Hermenegildo is a Distinguished Professor at the IMDEA Software Institute and a Full Professor at the Department of Computer Science, Universidad Politécnica de Madrid. He holds a PhD in Electrical and Computer Engineering from the University of Texas at Austin (1986). His academic career spans over four decades, contributing to global program analysis, verification, and parallel computing. Education: PhD, Electrical and Computer Engineering, University of Texas at Austin (1986) M.S., Electrical and Computer Engineering, University of Texas at Austin (1984) M.S., Electrical Engineering, Technical University of Madrid (1981) Research Interests: His work focuses on global program analysis , verification , and optimization for functional/non-functional properties. He pioneered techniques in abstract interpretation , parallelism , and constraint/logic programming . His contributions include the Ciao programming system and the CiaoPP preprocessor, emphasizing static analysis and program debugging . Key Awards: ACM Fellow Julio Rey Pastor Prize (2006) Elected member of Academia Europaea (2010) Test of Time Award at ICLP 2017 His work has been cited over 10,000 times, with an h-index of 60. Leadership & Contributions: Founded and directed the IMDEA Software Institute Directed Spain's National Research Directorate (1999–2002) Chair of major conferences (POPL 2010, ICLP 2006) Labs & Teams: Leader of the CLIP Lab (Computational Logic, Implementation, and Parallelism) Principal investigator in EU-funded projects on resource-aware computing

• Mechanical Engineering
• Railway Systems
• Multibody Dynamics
• +۳ مورد دیگر

Eduardo Corral Abad is an Associate Professor in the Department of Mechanical Engineering at Carlos III University of Madrid, specializing in multibody dynamics, railway systems, and contact mechanics. His research spans industrial heritage, vibration analysis, and educational technology. Railway axle monitoring and crack detection using advanced signal processing Dynamic modeling of mechanical systems with nonlinear contact and friction forces Development of interactive teaching applications for engineering education Use of parallel computing and GPU acceleration in mechanical simulations His contact email is eduardo.corral@uc3m.es . Recent work includes publications on railway diagnostics, helical gear transmissions, and Android-based educational tools.

• Artificial Intelligence
• Computer Graphics
• Virtual Reality
• +۳ مورد دیگر

Carlos Cglez-Morcillo is an Associate Professor at the Higher School of Computer Science, University of Castilla-La Mancha (Spain), with an active career in academia since 2002. He holds a European PhD in Computer Science (2007) and a degree in Computer Science (2002) with an Extraordinary End-of-Degree Award. Currently, he serves as Academic Director of the Vice-Rectorate of Digital University and Director of the G9 Shared Digital Campus, while also being a founding member of the AIR Research Group and Creative Director of the university spin-off Furious Koalas. PhD in Computer Science (2007) BSc in Computer Science (2002) Technical Engineer in Computer Systems (2000) Research interests include Artificial Intelligence, Computer Graphics, and their applications in rehabilitation technology and educational innovation. His work spans mixed reality systems for stroke recovery, gamification in learning environments, and 3D rendering optimization. He has led 9 research projects with over €550,000 in funding and contributed to over 30 technology transfer initiatives. Recent publications focus on VR/AR applications for neurological rehabilitation, e-commerce metaverse environments, and AI-driven educational tools. His 15 most recent articles reflect interdisciplinary work bridging computer science with healthcare and business innovation. Scientific recognition includes being the first Spaniard to obtain the Blender Foundation Certified Trainer (2009) and leading award-winning projects like ICEIS 2025 Best Student Paper. He actively participates in conferences and media outreach, demonstrating commitment to public engagement through platforms like Naukas and CMM Radio.

• Membrane Computing
• Computer Science
• Biology and Other Natural Sciences
• +۳ مورد دیگر

Ignacio Pérez Hurtado De Mendoza is a Researcher affiliated with the Department of Sport and Computer Science at the University of Seville . His work primarily focuses on Membrane Computing , Computer Science , and Biology and Other Natural Sciences , with specific emphasis on GPU-accelerated simulations , bio-inspired algorithms , and computational modeling of ecosystems . Developed the P-Lingua toolkit for agile membrane computing Contributed to GPU-based simulators for Spiking Neural P Systems and Evolving P Systems Applied membrane computing to robotic motion planning and social navigation systems Co-author of foundational software tools like MeCoSim and MAREX His publications span Computer Science and Biology , with a focus on parallel computing , ecological modeling , and algorithm efficiency . While specific awards are not documented, his collaborations with leading researchers in membrane computing highlight his academic impact.

JOSE RAMON RIOS VIQUEIRAمشاهده پروفایل

استاد

• Spatial Data Management
• Environmental Data Integration
• Geographic Information Systems (GIS)
• +۶ مورد دیگر

Jose Ramon Rios Viñuela is a Professor at the Department of Electronics and Computing, University of Santiago de Compostela, affiliated with the Higher Technical School of Engineering. He holds a PhD from the University of A Coruña (2003) for his thesis on spatio-temporal data management. His research focuses on spatial databases, environmental data integration, smart city technologies, geographic information systems (GIS), and spatio-temporal data modeling. Key projects include TRAFAIR (traffic-air quality analysis), COGRADE research group (computer graphics and data engineering), and GeoHbbTV frameworks for geospatial interactive media. He leads efforts in distributed spatial data processing, semantic interoperability, and sensor network integration for environmental monitoring. Notable contributions include frameworks like TAQE (traffic-air quality modeling), GeoSPARQL query systems, and MeteoSIX meteorological platforms. His work bridges earth sciences with public accessibility through smart environmental infrastructures, emphasizing citizen engagement and open data dissemination. Current research trends explore big data analytics for geospatial applications, federated environmental data systems, and low-cost sensor networks for urban sustainability. He collaborates on projects involving air quality forecasting (GRAL model), spatial join optimization in large data lakes, and semantic mediation of environmental observation systems. His academic contributions span over 60 peer-reviewed publications across GIS, database systems, and environmental informatics.

Matthieu Perrinمشاهده پروفایل

دانشیار

• Distributed Computing
• Message-Passing Systems
• Weakly Consistent Data Structures
• +۳ مورد دیگر

Matthieu Perrin is an Associate Professor at the University of Nantes, affiliated with the GDD team at LS2N (Laboratoire des Sciences du Numérique de Nantes). He holds a PhD from the University of Nantes (2016), advised by Claude Jard and Achour Mostéfaoui. His research focuses on distributed computing, particularly message-passing systems, weak consistency models, and distributed algorithms. He has co-advised PhD students including Grégoire Bonin and supervised undergraduate projects like Damien Maussion's work on weak consistency enforcement. Key contributions include seminal work on differentiated consistency for gossip protocols, causal broadcast algorithms, and extensions of the Herlihy wait-free hierarchy to multi-threaded systems. His publications span journals like IEEE TPDS and conferences such as EuroSys and PODC. Perrin's work bridges theoretical foundations (e.g., consistency models) with practical implementations (e.g., state-machine replication for large-scale systems). He collaborates widely, including postdoctoral work at Technion and IMDEA Software Institute.

Guillermo Pérezمشاهده پروفایل

استاد

• High-Performance Computing
• Bioinformatics
• Computer Networks
• +۳ مورد دیگر

Prof. Guillermo Pérez is a Full Professor in the Department of Computer Architecture at the University of Malaga, Spain. He has been affiliated with the university since 1992, starting as an Assistant Professor during his Ph.D. studies. He holds an M.S. in Computer Science from the Polytechnic University of Catalonia (1992) and a Ph.D. from the University of Malaga (1999). His research focuses on high-performance computing, bioinformatics, and parallel computing, with contributions to tools like SeqTrim and Full-Lengther . He also serves as the technical supervisor of the SuperComputing Laboratory at the University of Malaga, overseeing infrastructure design and implementation for supercomputing environments. Prof. Pérez has over 25 years of teaching experience in computer networks, operating systems, and computer infrastructure design. His work bridges theoretical advancements with practical applications, emphasizing computational efficiency and interdisciplinary collaboration. His publications span topics ranging from bioinformatics pipelines to parallel algorithm design, reflecting a sustained commitment to advancing computational methodologies.

• Cloud Computing
• High Performance Computing
• Distributed Systems
• +۴ مورد دیگر

José Luis Vázquez-Poletti is an Associate Professor at the Universidad Complutense de Madrid's Faculty of Informatics, specializing in distributed systems and cloud computing. He holds a Ph.D. in Computer Architecture (2008) and an M.E. in Computer Science (2004), both from UCM. As head of the Open Source Software and Open Technologies Office, he promotes open-source adoption in academic and administrative contexts. Education: M.E. in Computer Science, Universidad Pontificia de Comillas (2004) Ph.D. in Computer Architecture (Doctor Europeus), Universidad Complutense de Madrid (2008) Research Interests: Cloud Computing and Serverless Architectures High-Performance Computing for Space Exploration (e.g., Mars missions) Cybersecurity and Distributed Systems Optical Data Storage (QR code encryption) Key Projects: Lead researcher in EU-funded projects like IN-TIME (Martian dating), EDGECLOUD (edge computing), and EYE (economy via spatial data) Developed NGScloud and TOA tools for genomic analysis using cloud computing Authored cloud-based frameworks for Mars aurora detection, Phobos eclipse analysis, and bioinformatics Other Roles: Editorial Board member of journals like International Journal of Grid and Distributed Computing and Parallel and Cloud Computing Research Advisor for over 30 academic theses and projects, including serverless architectures in healthcare, cybersecurity, and gaming

Antonio Flores Gilمشاهده پروفایل

استادیار

• Processor microarchitecture
• Multicore systems
• Energy-efficient architectures

Antonio Flores Gil is an Assistant Professor at the Computer Engineering Department within the University of Murcia (Spain). Contact: aflores@um.es, Phone: +34 868 884638. Research Interests : Processor microarchitecture Multicore systems Energy-efficient architectures His publications focus on heterogeneous interconnects , energy consumption reduction , and message management optimization in tiled CMP architectures. Key topics include network-on-chip design, address compression, and hardware prefetching techniques. Groups : ACCA Group (Advanced Communication and Computer Architecture) GACOP (Parallel Computing and Architecture Group, Univ. Murcia)

• Computational Linguistics
• Natural Language Processing
• Machine Translation
• +۵ مورد دیگر

Pablo Gamallo Otero is a Professor at the University of Santiago de Compostela (USC), affiliated with the Faculty of Philology and the Department of Spanish Language and Literature. He leads research in the LComp Research Group in Computational Linguistics and is part of the Center for Research in Intelligent Technologies (CITIUS). His work focuses on computational linguistics, natural language processing (NLP), and language technologies for minority languages like Galician and Portuguese. He has extensively contributed to projects like the Nós initiative, developing large-scale corpora (e.g., CorpusNÓS) and models for low-resource languages. Key research interests include sentiment analysis, hyperpartisan news detection, neural machine translation (NMT), and cross-lingual paraphrasing. His work bridges theoretical linguistics and practical NLP applications, with a focus on preserving and revitalizing Galician through advanced AI tools. He has collaborated on international initiatives such as the Iberobench benchmark and the SemEval competition, advancing multilingual AI evaluation frameworks. His articles often address challenges in machine translation for Galician, leveraging Portuguese resources via transliteration strategies. He has also explored diachronic language distance measurement, lexical resources for mental health analysis, and dependency-based compositional semantics. His contributions span conferences like PROPOR and TREC, reflecting his role in both academic research and applied technology development.

Ayguade Parra, Eduardمشاهده پروفایل

استاد

• High-Performance Computing
• Parallel and Distributed Architectures
• Programming Models
• +۶ مورد دیگر

Eduard Ayguade Parra is a Full Professor in the Department of Computer Architecture at the Universitat Politècnica de Catalunya (UPC), Faculty of Computer Science of Barcelona (FIB). He is a leading researcher in the UPC PM - Programming Models group and maintains a significant affiliation with the Barcelona Supercomputing Center (BSC-CNS), a premier national supercomputing facility. His primary research interests lie in High-Performance Computing (HPC) , with a deep focus on parallel and distributed architectures , programming models (especially task-based models like OmpSs), multicore and multiprocessor systems , and compilers for high-performance architectures . His work bridges hardware and software to optimize performance for complex computational problems. The trends in his recent publications highlight a sustained and evolving research program. He is actively advancing task-based programming for distributed memory and hybrid systems, exploring FPGA acceleration for key HPC kernels like SpMV, and innovating in memory system design, including active compute memory and hybrid memory object placement. His research also extends into applying AI techniques to hardware reliability and creating high-quality datasets for computer vision evaluation. HiPEAC Paper Award 2024 Professor Ayguade has been instrumental in securing and leading numerous competitive and non-competitive R&D+i projects, often funded by national and European programs. He has advised a significant number of doctoral students, whose theses cover topics such as task-based programming, FPGA acceleration, HPC compilers, and machine learning for systems. His collaborations are extensive, with frequent co-authorship with prominent figures at UPC and BSC-CNS, such as Jesús Labarta and Mateo Valero. His research has led to advancements in runtime systems, compiler technology, and FPGA-based acceleration. He is a core member of the UPC PM - Programming Models research group and his work is deeply integrated with the resources and mission of the Barcelona Supercomputing Center (BSC-CNS), one of Europe's leading institutions in supercomputing.

• Parallel Computing
• High-Performance Computing (HPC)
• Programming Models
• +۶ مورد دیگر

Maria Luisa Gil Gómez is a researcher at the Universitat Politècnica de Catalunya (UPC), affiliated with the Department of Computer Architecture and the Barcelona Higher Technical School of Telecommunications Engineering. She holds a PhD in Computer Science and leads research in parallel computing, high-performance computing (HPC), and programming models. Her work focuses on optimizing computational workflows, fault tolerance in distributed systems, and leveraging multi-GPU architectures for scientific simulations. She has contributed to projects like the Programming Models group (PM) at UPC and collaborates with the Barcelona Supercomputing Center (BSC-CNS). Affiliations: UPC Department of Computer Architecture, BSC-CNS, PM Research Group Research Interests: Parallel Programming Models, HPC, GPU Computing, Cellular Automata, Education Technology Her research spans over 147 documented activities, including journal articles, conference presentations, and funded projects. Notable contributions include studies on BCI in music education, distributed algorithms for ARM-based clusters, and the OpenCAL++ framework for parallel cellular automata simulations. She has also explored educational methods integrating creativity and game-based learning in engineering.

• Computer Architecture
• Parallel Computing
• Artificial Intelligence
• +۳ مورد دیگر

Julita Corbalan Gonzalez is an academic affiliated with the Universitat Politècnica de Catalunya (UPC), specifically the Department of Computer Architecture within the Faculty of Computer Science of Barcelona (FIB). She is part of the CROMAI research group (Computing Resources Orchestration and Management for AI) and has been active in academic and research activities since at least 1996. Her work spans over 155 documented activities, including research projects, publications, and teaching innovations. Her research focuses on computer architecture, parallel computing, and AI-related resource management. Notable contributions include projects in high-performance computing and distributed systems, as reflected in her activity types like indexed journal articles, conference presentations, and technical documents. Contact information includes the email juli@ac.upc.edu and ORCID identifier 0000-0002-3926-5634 . Her professional trajectory includes involvement in competitive and non-competitive R&D projects, educational innovation initiatives, and academic publications across multiple domains.

• Distributed Systems
• AI/ML Systems
• Databases
• +۷ مورد دیگر

Paolo Romano is a Senior Researcher at the Distributed Systems Group, INESC-ID, and an Associate Professor at the Department of Computer Engineering, Instituto Superior Técnico (IST), Universidade Técnica de Lisboa, Portugal. He holds a PhD in Computer Engineering (2007) and has contributed extensively to research in distributed systems, transactional memory, and autonomic computing. PhD in Computer Engineering, Sapienza Rome University (2007) Master Degree in Computer Engineering, University of Rome Tor Vergata (2002), Summa Cum Laude Certificate of Advanced English, Cambridge University (1997) His research interests span: Dependable Distributed Systems: Fault-tolerance in multi-tier systems, formal verification of distributed protocols, and reliable AI systems. Parallel/Distributed/High-Performance Computing: Transactional memory, GPU programming, and efficient AI/ML systems. Autonomic Systems: Self-optimization of complex systems and adaptive concurrency control schemes. Performance Modeling: Machine-learning-based prediction for complex systems and QoS in cloud platforms. Scientific accolades include: Best Paper Award at ICAC 2014, ICDCS 2012, and NETYS 2013 Best Paper Awards at IEEE Symposium on NCA 2008 and 2007 Best INESC-ID Young Researcher (2011) Distinguished Member, INSTICC He has supervised numerous PhD and MSc students, including current advisees Maria Casimiro, Daniel Castro, and Shady Alaa. Former students include Shady Issa (PostDoc at INESC-ID), Nuno Diegues (Software Engineer at Feedzai), and Diego Didona (PostDoc at EPFL). His research is supported by projects like ARISTOS, Cloud-TM, and Euro-TM, with total funding exceeding 2.4 million euros. Paolo Romano is affiliated with the Distributed Systems Group at INESC-ID, a research laboratory associated with IST, Universidade Técnica de Lisboa.

• Computer Architecture
• Parallel Computing
• Hardware Design
• +۳ مورد دیگر

Alvaro Goldar Dieste is a pre-doctoral researcher affiliated with the Computer Architecture research group at the University of Santiago de Compostela. His work focuses on general areas of Computer Architecture and related disciplines. He has been actively involved in teaching subjects during multiple academic years spanning 2022-2026. Research Interests: His primary research aligns with his department's focus on Computer Architecture , suggesting engagement with computational systems design, hardware optimization, and parallel processing frameworks. Contact: Email: alvaro.goldar.dieste@usc.es