Find Academic Supervisors

Carlos Alario Hoyos is an Associate Professor in the Department of Telematic Engineering at Carlos III University of Madrid, affiliated with the School of Engineering. His work bridges telematics and educational technology, focusing on learning analytics, generative AI, and digital learning environments. Current role: Associate Professor Research groups: GAST (Telematic Applications and Services), NETTEC (Network Technologies) Research interests include: AI-driven educational tools MOOC analytics and quality assessment Chatbot-based programming assistance Behavioral modeling in online learning Automated literature review systems Recent publications (2025-2024) analyze: Student performance prediction models Generative AI integration in education Micro-credentials and digital recognition Hybrid learning environments Telepresence classroom impacts Real-time educational analytics

• Educational Technology
• Artificial Intelligence in Education
• Learning Analytics
• +3 more

Rubén Cuevas Rumin is an Associate Professor at the Telematics Engineering Department of Carlos III University of Madrid. He serves as Deputy Director of Human Resources for his department and co-leads the Joint Institute of Big Data in Finance UC3M-Banco Santander , focusing on interdisciplinary applications of network and data science. Academic Affiliation: Carlos III University of Madrid Department: Telematics Engineering Department Institute: UC3M-Banco Santander Big Data in Finance His research bridges network performance analysis and digital advertising , with emphasis on user privacy and anonymity in web applications. He explores time-series classification , browser fingerprinting , and geolocation accuracy in adTech ecosystems. Recent work includes quantifying carbon footprints of online ads and designing zero-knowledge advertising frameworks. Scientific awards include I-COM Datascience Hackathon Winner (2016) . His publications reveal expertise in large-scale behavioral analytics , ad fraud detection , and energy-efficient networking . He actively investigates filter bubbles , contact tracing , and gender inequality through Facebook advertisement data.

• Online Advertising
• Data Privacy
• Social Network Analysis
• +6 more

Daniel Díaz Sánchez is an Associate Professor at the Telematics Engineering Department of Carlos III University of Madrid , where he serves as Deputy Director of Laboratories . His research focuses on IoT security , Post-Quantum Cryptography , and network protocols . Email: daniel.diaz@uc3m.es Office: 4.0.F04 - Quevedo Towers (Leganés) His recent work explores DNSSEC soft delegation for microservices, quantum random number generators , and machine learning applications in cybersecurity. Key publication themes include IoT credential management , secure communication protocols , and control system optimization .

• Internet of Things (IoT)
• Network Security
• Post-Quantum Cryptography
• +6 more

Dr. Juan Luis Martin Romero is a researcher at the Universidad Politécnica de Madrid (UPM), affiliated with the research group focused on Geovisualization, Unique Spaces, and Heritage since November 2010. His work spans interdisciplinary domains at the intersection of computer science and cultural heritage preservation. Primary Affiliation: Universidad Politécnica de Madrid Research Group: Geovisualization, Unique Spaces and Heritage His professional activities emphasize: Computer Science applications in spatial analysis Innovative approaches to heritage conservation Digital humanities methodologies Advanced data visualization techniques

• Computer Science
• Geovisualization
• Heritage Conservation
• +3 more

Francisco Jose Navarro Valero is a Professor in the Department of Mathematics Applied to Information and Communication Technologies at the Technical University of Madrid (UPM), holding this position since 1994 with continued activity as of 2017. He serves as Principal Investigator of the Numerical Simulation Group in Science and Engineering, a role he has maintained since 2005. His research bridges applied mathematics with geoscientific applications, focusing on numerical simulation of earth-system phenomena. Key interests include Earth and Planetary Sciences, multidisciplinary Geosciences, Earth-Surface Processes, Physical Geography, and Environmental Sciences, where he develops computational models for complex geophysical systems. The Numerical Simulation Group in Science and Engineering, under his leadership, specializes in translating advanced mathematical techniques into practical solutions for environmental and earth-science challenges, emphasizing the application of information and communication technologies to model natural processes.

• Earth and Planetary Sciences
• Geosciences
• Earth-Surface Processes
• +3 more

Juan Bautista Grau Olive is a researcher at the Technical University of Madrid affiliated with the Signal Automation and Communications Group (GASC) since November 22, 2011. His research interests demonstrate significant interdisciplinary integration across domains: Agronomy and Crop Science Soil Science Computer Networks and Communications Civil and Structural Engineering This unique confluence of agricultural sciences and engineering disciplines reflects innovative applications of signal processing and automation technologies in agricultural monitoring systems and civil infrastructure. His work bridges theoretical communications frameworks with practical field implementations in agronomic contexts.

• Agronomy
• Soil Science
• Agronomy and Crop Science
• +2 more

Dr. Unai Lopez de Heredia Larrea is a Lecturer at the Universidad Politécnica de Madrid , specifically within the Department of Natural Systems and Resources . His career spans over two decades at UPM, where he has held roles including Profesor Titular de Universidad since 2014. He actively contributes to both teaching and research, focusing on forest tree species' environmental adaptation through multidisciplinary approaches. Education : PhD in Forestry (specialization in Forest Genetics) from Universidad Politécnica de Madrid, Master's in Bioinformatics and Computational Biology from ENS-ISCIII. Dr. Lopez de Heredia's research integrates plant anatomy , physiology , and genetics to study forest tree adaptability, particularly Mediterranean pines and oaks. His work develops bioinformatic pipelines for NGS data analysis, addressing challenges in non-model species genomic resources. His recent publications emphasize computational approaches in population genetics, hybridization analysis in Quercus species, and environmental stress responses in conifers. The SimHyb2 and gymnotoa-db software tools he co-developed demonstrate his commitment to computational solutions in plant genomics. As a member of the Development of Woody Species and Communities (WooSp) Research Group since 2023, he contributes to understanding evolutionary forces in forest populations. His teaching responsibilities include Plant Anatomy , Biology , and Forest Genetics courses.

• Forest Genetics
• Bioinformatics
• Molecular Ecology
• +5 more

Raul Garcia Castro is a Professor in the Department of Artificial Intelligence at Universidad Politécnica de Madrid. He has been affiliated with the university since 2016 and contributes to both academic and research activities. His work spans interdisciplinary domains, including artificial intelligence, software engineering, and automation systems. University: Universidad Politécnica de Madrid Department: Artificial Intelligence Academic Rank: Professor His research interests focus on Artificial Intelligence , with applications in Software Engineering , Automation & Control Systems , and Information Systems . He also explores multidisciplinary areas such as materials science, building construction, and computer networks. His work bridges theoretical and applied domains across engineering, chemistry, and computer science. Email: r.garcia@upm.es

• Artificial Intelligence
• Software Engineering
• Automation & Control Systems
• +9 more

María Asunción Cucala García is a Professor at the Higher Technical School of Engineering (ICAI) of the Comillas Pontifical University, where she has been teaching for 23 years. She is affiliated with the Department of Telematics and Computing and is also a researcher at the Technological Research Institute (IIT). Dr. Cucala García obtained her degree in Industrial Engineering, specializing in Electronics, from the Comillas Pontifical University ICAI in 1995, and earned her PhD in Electrical Engineering from the same institution in 2003. Her research focuses on the analysis, design, and improvement of railway systems operations, with particular emphasis on: Railway traffic design and control Automatic traffic planning and regulation Railway system modeling and simulation Optimization techniques for railway operations Fuzzy logic applications in railway systems Energy efficiency in railway systems Her publications demonstrate a consistent focus on railway operations, energy efficiency, and optimization techniques, with particular attention to the application of artificial intelligence and advanced algorithms to improve railway system performance. She has published extensively in high-impact journals related to transportation engineering, electrical engineering, and artificial intelligence applications. Dr. Cucala García has received several professional recognitions: Sexenio Campo 6.2 - Ingenierías y Arquitectura - Ingenierías de la Comunicación, Computación y Electrónica (2013-2018) Sexenio Campo 6.2 - Ingenierías y Arquitectura - Ingenierías de la Comunicación, Computación y Electrónica (2006-2012) Certificación ACAP - Profesor Doctor de Universidad Privada (07/06/2005) She currently teaches courses in Computer Science Fundamentals and Advanced Systems for Railway Traffic Design and Control at the Comillas Pontifical University. Her research work is closely integrated with practical applications in railway systems, particularly in the areas of energy efficiency and intelligent control systems.

• Railway Systems Operations
• Railway Traffic Design and Control
• System Modeling and Simulation
• +3 more

Sergio Dominguez Cabrerizo is a Professor in the Department of Automatic, Electrical and Electronic Engineering and Industrial Computational Technology at the School of Industrial Engineering, Technical University of Madrid (UPM). He has held this position since June 6, 2000, and currently serves as Director of the School of Industrial Engineering. He is an active member of the Computer Vision and Aerial Robotics research group (since June 14, 2005) and the Center for Automation and Robotics (CAR), a joint UPM-CSIC research center (since July 8, 2009). His research focuses on Computer Vision and Aerial Robotics, with strong emphasis on Control Systems and Automation. His work integrates Electrical Engineering and Computer Science principles to develop advanced robotic systems, particularly for aerial applications. Bibliometric analysis of his publications reveals prominent engagement in Automation & Control Systems, Robotics, and interdisciplinary engineering fields. Professor Dominguez Cabrerizo contributes significantly through the Center for Automation and Robotics (CAR), where he participates in cutting-edge research in robotics and automation. His leadership as Director of the School of Industrial Engineering underscores his administrative impact within UPM's academic structure.

• Computer Vision
• Aerial Robotics
• Control Systems
• +3 more

Angel Yagüe Hernán serves as an Assistant Professor in the Department of Continuous Mechanics and Structural Theory at Universidad Politécnica de Madrid (UPM), holding a Profesor Contratado Doctor position since February 20, 2023, after previously serving as Profesor Ayudante Doctor from March 16, 2020. He actively contributes to the Computational Mechanics Group (member since July 22, 2020) and the R&D+i Center for Smart and Sustainable Civil Infrastructure (CIVILis; member since November 29, 2024). His research spans interdisciplinary domains including Computational Mechanics, Civil and Structural Engineering, and Materials Science, with significant focus on Mechanics of Materials, Geotechnical Engineering, and Applied Mathematics. Methodologically, he integrates Chemistry and Multidisciplinary Mathematical approaches to address challenges in Sustainable Civil Infrastructure, evidenced by high readership metrics (23 Mendeley readers) across his publications. Dr. Yagüe Hernán's work demonstrates strong cross-disciplinary connectivity between Engineering Geology, Materials Science, and Interdisciplinary Mathematics, positioning him at the forefront of smart infrastructure innovation within UPM's research ecosystem.

• Applied Mathematics
• Mechanics of Materials
• Mechanics
• +8 more

Luis Miguel Pozo Coronado serves as a Professor in the Department of Mathematics Applied to Information and Communication Technologies at the Technical University of Madrid, holding this position since December 19, 2012. He actively contributes to the Mathematical Modeling and Biocomputing Research Group as a member since March 3, 2015. His research demonstrates exceptional interdisciplinary breadth across mathematical and physical sciences, with core expertise in Algebra and Number Theory, Theoretical Computer Science, and Discrete Mathematics and Combinatorics. Significant contributions extend into Statistical and Nonlinear Physics, Quantum Science & Technology, and multidisciplinary applications of Applied Mathematics and Mathematical Physics. This synthesis of pure mathematics with computational physics and information technologies defines his scholarly identity. Within the Mathematical Modeling and Biocomputing Group, Pozo Coronado engages in collaborative projects bridging abstract mathematical frameworks with real-world biocomputing challenges, particularly through quantum-inspired computational models and nonlinear dynamical systems analysis.

• Algebra and Number Theory
• Theoretical Computer Science
• Statistical and Nonlinear Physics
• +6 more

Dr. Juan Carlos Aguado Chao is a full-time Professor at the Polytechnic University of Catalonia , affiliated with the School of Telecommunications and Aerospace Engineering and the Department of Systems Engineering, Automatics and Industrial Informatics . He holds a PhD in Computer Science and has contributed extensively to intelligent data science and knowledge engineering research. Research focus: AI, data science, and knowledge engineering Active member of the GREC and IDEAI-UPC research groups Contact: juan.carlos.aguado@upc.edu ORCID: 0000-0002-1548-8964

• Artificial Intelligence
• Data Science
• Knowledge Engineering
• +3 more

Sukyoung Ryu is a Professor in the Department of Computer Science at KAIST's College of Computing, South Korea. Her research centers on programming languages and program analysis, with significant contributions to WebAssembly, JavaScript semantics, and language specification. She leads the Programming Languages Research Group (PLRG) at KAIST. Her research spans multiple critical areas including executable specification engineering, static analysis techniques, and language interoperability. Recent work focuses on WebAssembly conformance testing, C-to-Rust translation, and bridging real-world implementations with formal semantics. Her group develops practical tools like SpecTec for mechanized language specifications and JISET for JavaScript semantics extraction. Analysis of her 15 most recent publications reveals strong trends in executable specifications (7 papers), WebAssembly tooling (5 papers), and language translation (4 papers). Key methodological approaches include record-replay debugging, filtered-simulation for binary lifting, and algebraic data type transformations for memory safety. Ryu actively contributes to the programming languages community through leadership roles including Steering Committee Chair for APLAS, Program Co-Chair for SPLASH/OOPSLA, and committee positions at POPL, PLDI, and ICFP. She frequently organizes workshops on real-world language specification (RPLS) and presents keynotes on programming language research for social good. Her mentoring activities include co-chairing New Faculty Symposia and participating in RTFM panels on faculty mentoring. She advises students through KAIST's programs and supervises research in the PLRG lab, which focuses on building practical language tools with formal foundations. Current projects emphasize WebAssembly standardization, secure language interoperability, and specification-based testing frameworks.

• Programming Languages
• Program Analysis
• Static Analysis
• +5 more

Alastair Reid is a researcher at Intel (2021–present) focusing on formal instruction set architecture (ISA) specifications and model checking processor pipelines. His career spans roles at Google Research (2019–2021) developing Rust verification tools, Arm Ltd (2004–2019) working on formal ISA specifications and vectorizing compilers, University of Utah (1998–2004) on component-based operating systems, Yale University (1994–1998) contributing to Haskell functional reactive programming, and University of Glasgow (1988–1994) in formal specification and verification. Ph.D. in Defining interfaces between hardware and software: Quality and performance , Glasgow University M.Sc. in A precise semantics for Ultraloose Specifications , Glasgow University B.Sc., University of Strathclyde His research interests include formal verification, security analysis, functional programming languages (particularly Haskell and Rust), and computer architecture. He has contributed to the development of machine-readable ISA specifications for ARM, RISC-V, and Intel architectures, and worked on symbolic execution tools like KLEE for Rust verification. Key publications include work on RISC-V specification improvements (2024), formal methods for persistent programming (2023), PLARCH workshop contributions on ISA specification (2023), and foundational papers on ARM processor verification with ISA-Formal (2016). His technical blog posts cover topics in symbolic execution, SMT solvers, and practical verification challenges. Contributions to conferences include committee roles in PLDI (2024), PriSC (2024), and workshop organization in formal methods and programming language design.

• formal verification
• security
• functional languages
• +1 more