جستجوی استاد راهنمای دانشگاهی

Dr. Andreea Costea is an Assistant Professor at the Programming Languages Group in the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at TU Delft, Netherlands. She completed her PhD at the School of Computing, National University of Singapore (NUS), and previously collaborated with NUS's Programming Languages and Software Engineering lab, Automated Program Repair team, and VERSE lab. Research: Formal Methods, Software Verification, Automated Program Repair, Rust Programming, Concurrency Funding: Ministry of Education Tier 3 Grant (2022) Projects: HIPPODROME (Java data race repair), ROBoSuSLik (heap synthesis), Mercurius (session protocols) Recent MSc Students: Matei Mirică (2025), Arjan Seijs (2025), Jim van Vliet (2025), Timen Zandbergen (2025), Arthur de Groot (2024), Julius de Jeu (2024), Matteo Bertorotta (2024). Conference Involvement: Program Committee member for PriSC 2024, PEPM 2024, SPLASH/ISSTA 2026, ICSE 2025, ICFP 2023, APLAS 2021.

• Programming Languages
• Software Verification
• Automated Program Repair
• +۵ مورد دیگر

Dr. Isaac Lera Castro is an Associate Professor at the University of the Balearic Islands, School of Mathematics and Computer Science, Department of Computer Architecture and Technology. He serves as Deputy Director of the Laboratory of Artificial Intelligence Applications (LAIA) and is a member of the ACSIC (Architecture and Behavior of Computer and Telecommunication Systems) R&D Group. His educational background includes a Ph.D. in Computer Science from the University of the Balearic Islands (2012) and a Computer Engineering degree from the same institution (2006). He has been actively involved in academia since 2005. Dr. Lera Castro's research focuses on computer architecture, performance evaluation of computer systems, cloud computing, edge computing, fog computing, and semantic web. His work has particular emphasis on simulation and modeling of distributed systems, with significant contributions to fog computing architectures and performance assessment methodologies. He has developed YAFS (Yet Another Fog Simulator), a tool for simulating IoT scenarios in fog computing environments that has gained recognition in the research community. His publication record includes multiple papers in JCR-SCI indexed journals, with 11 highly relevant publications (7 in Q1 and 4 in Q2) and 6 relevant publications (3 in Q3 and 3 in Q4) as of 2019. His research spans from early work on semantic web applications to recent contributions in fog computing and IoT simulation, showing a consistent trajectory of innovation in distributed systems. 2019: YAFS simulator for IoT scenarios in fog computing (IEEE Access) 2019: Availability-aware service placement in fog computing (IEEE IoT Journal) 2017: Human mobility pattern analysis using complex networks (PLOS ONE) 2006: Performance-related ontologies and semantic web applications (Science of Computer Programming) Dr. Lera Castro has extensive teaching experience across undergraduate, graduate, and master's programs. He has taught core subjects including Computer Architecture, Current Computer Systems, and Evaluation and Exploitation of Computer Systems, as well as specialized courses like Cloud Computing and Technologies for Big Data Analysis. From 2018 to 2021, he served as co-director of the Master's Degree in Big Data Analysis in Economics and Business. He leads the Laboratory of Artificial Intelligence Applications (LAIA), which focuses on applying AI techniques to distributed systems with particular expertise in performance modeling and resource allocation in cloud, fog, and edge computing environments.

• Computer Architecture
• Performance Evaluation of Computer Systems
• Cloud Computing
• +۴ مورد دیگر

Alfredo Alcayde García is an Associate Professor in the Engineering Department at the University of Almería, Spain. With an h-index of 21 (Scopus) and 18 (Web of Science), he has established himself as a significant contributor to electrical engineering research, particularly in power systems analysis and renewable energy integration. His academic profile includes directing multiple doctoral theses and leading several research projects with substantial funding from national and international sources. Professor Alcayde García's research primarily focuses on electrical engineering with specialization in power systems under non-sinusoidal conditions, renewable energy integration, and energy efficiency optimization. His work bridges theoretical developments in geometric algebra applications for power theory with practical implementations in smart grid technologies and non-intrusive load monitoring. Recent research directions have expanded to include environmental applications, particularly examining microplastic pollution in agricultural contexts related to energy systems. Analysis of his recent publications (2023-2025) reveals a strong trend toward interdisciplinary research that combines electrical engineering with environmental science and data analytics. His work spans high-impact journals across multiple disciplines, demonstrating both depth in his core field and breadth through successful cross-disciplinary collaborations. The research shows consistent methodological rigor with increasing emphasis on practical applications and real-world implementation of theoretical concepts. Professor Alcayde García actively supervises graduate students and has directed multiple doctoral theses on topics ranging from drone-based power line design to electric vehicle integration. His research group 'Computación, optimización y sensorización en ingeniería y energía' maintains several active projects with significant funding, indicating strong research momentum and institutional support. Current projects demonstrate a strategic expansion into environmental applications of engineering principles while maintaining core strengths in power systems analysis. The research environment led by Professor Alcayde García emphasizes both theoretical innovation and practical implementation, with opportunities for students to engage in field work, computational modeling, and collaborative projects across engineering disciplines. His work continues to evolve with emerging energy challenges, maintaining relevance to both academic research and industry applications.

• Electrical Engineering
• Power Systems
• Renewable Energy
• +۵ مورد دیگر

David Chaves Fraga is an Assistant Professor in the Department of Electronics and Computing at the University of Santiago de Compostela (USC), specializing in Computer Science and Artificial Intelligence. He is also a researcher at CITIUS Research Center and maintains a collaboration with the Declarative Languages and Artificial Intelligence Group (DTAI) at KU Leuven. His research focuses on large-scale semantic data integration and its applications across various domains including DevOps, public procurement, and transportation. He is particularly recognized for his work in Knowledge Graph construction and lifecycle management. As co-chair of the W3C Knowledge Graph Construction Community Group and lead scientist for the European Public Procurement Data Space, he plays a significant role in shaping standards and practical implementations in the field. Dr. Chaves Fraga has published over 50 papers in the Semantic Web domain, with several appearing in top conferences like ISWC and ESWC. His work on 'Declarative Generation of RDF Collections and Containers from Heterogeneous Data' received the Best Paper Award at SEMANTiCS Conference. Margarita Salas Fellowship (2022) Best Paper Award at SEMANTiCS Conference (2024) He actively contributes to the academic community as a committee member for major conferences including ISWC, ESWC, WWW, SIGIR, and CIKM, and serves as a reviewer for leading journals in the Semantic Web field. Dr. Chaves Fraga is also involved in organizing two academic workshop series focused on Knowledge Graph Construction and Semantics for Transport.

• Semantic Web
• Knowledge Graphs
• Data Management
• +۴ مورد دیگر

Georg Zetzsche is a tenure-track faculty member at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany, since November 2018. He leads the Models of Computation group , focusing on theoretical foundations of formal verification and synthesis for infinite-state systems. His work bridges decidability, computational complexity, and automata theory , with applications to program analysis and concurrent systems .

• Theoretical Computer Science
• Formal Verification
• Infinite-State Systems
• +۵ مورد دیگر

Elvira Patricia Pino Blanco is a Professor in the Department of Computer Science at the Barcelona East School of Engineering, Polytechnic University of Catalonia (UPC). She is a member of the ALBCOM research group (Algorithms, Bioinformatics, Complexity and Formal Methods) and has an extensive publication record spanning over two decades. Her research interests focus on formal methods in computer science, particularly in graph theory, logic programming, and database systems. She has made significant contributions to navigational logics for graphical structures, graph databases, and model synchronization using triple graph grammars. Her work bridges theoretical foundations with practical applications in software engineering and data management. Her publication trends show a consistent focus on graph-based approaches to computational problems, with recent work emphasizing logical approaches to graph databases and navigational query languages. She has published in high-impact venues including Journal of Logical and Algebraic Methods in Programming, Theoretical Computer Science, and various international conferences. Professor Pino Blanco has been involved in numerous competitive R&D projects related to algorithmics, bioinformatics, and formal methods. Her work demonstrates interdisciplinary connections between theoretical computer science and practical applications in data management and software engineering. She is affiliated with the ALBCOM research group which focuses on algorithmics, bioinformatics, complexity theory, and formal methods. This group represents a vibrant research community working at the intersection of theoretical computer science and practical applications.

• Computer Science
• Formal Methods
• Logic Programming
• +۵ مورد دیگر

Rodrigo Santamaría Vicente is an Associate Professor in the Department of Computer Science and Automation within the Faculty of Sciences at the University of Salamanca. His academic career centers on bridging computer science with biological research through advanced data analysis and visualization techniques. He serves as director of the Diploma of Specialization in Bioinformatics and Computational Genomics, demonstrating leadership in specialized academic programming. Dr. Santamaría earned his PhD in Computer Science from the University of Salamanca in 2009 with his thesis "Visual analysis of gene expression data by means of biclustering," supervised by Dr. Luis Antonio Miguel Quintales and Dr. Roberto Therón Sánchez. His academic journey began with an M.S. degree in Computer Science from the same institution. His research primarily focuses on Bioinformatics and Information Visualization, with particular emphasis on integrating diverse data sources, analysis algorithms, and visual representations to enhance understanding of complex biological problems. His work spans multiple subdomains including gene expression analysis, biclustering algorithms, phylogenetic tree visualization, and collaborative tagging systems. Santamaría's research group affiliations include both the BIOINFORMÁTICA research group and the CaUSAL (Cultura Académica, Patrimonio y Memoria Social) research group at the Institute of Functional Biology and Genomics. His publication record reveals a consistent trajectory of scholarly output since 2006, with recent work showing increased focus on biological applications of computational methods. His most significant contributions appear in the integration of visualization techniques with bioinformatics analysis, particularly through tools like BicOverlapper and Voronto that facilitate interactive exploration of complex biological data. The evolution of his work demonstrates progression from foundational algorithm development to increasingly sophisticated applications in systems biology. Author of the book "How Machines Organize: An Introduction to Distributed Systems" Director of the Diploma of Specialization in Bioinformatics and Computational Genomics Active contributor to R programming ecosystem with the biclust package As an educator, Santamaría teaches across multiple programs including the Master's Degree in Computer Engineering and previously taught Bioinformatics for the Biotechnology degree program. His teaching portfolio spans Bioinformatics (from both computer science and biology perspectives), Distributed Systems, and Service-Oriented Architectures. He maintains an active research laboratory focused on developing visualization tools for biological data analysis, with current projects emphasizing integration of gene expression data with biological ontologies and advanced biclustering techniques.

• Bioinformatics
• Information Visualization
• Microarray Data Analysis
• +۴ مورد دیگر

Professor José Luis Alonso Berrocal is affiliated with the University of Salamanca, where he works in the Department of Computer Science and Automation within the Faculty of Engineering. His research spans information systems, web technologies, and educational applications of computer science. Dr. Berrocal earned his PhD from the University of Salamanca with a thesis titled "Cibermétricos. Análisis de los dominios web españoles" (2001), supervised by Dr. Luis Carlos García de Figuerola Paniagua. His academic journey has positioned him at the intersection of computer science and information systems. His research interests focus on Information Retrieval , Web Cybermetrics , Digital Libraries , and Educational Technology . Dr. Berrocal has made significant contributions to understanding web structure, information retrieval systems, and the application of technology in education. His work often bridges theoretical computer science with practical applications in academic and research settings. Analysis of his publication history shows a consistent focus on information retrieval systems and web analysis techniques. His early work centered on foundational tools like SACARINO (a web crawling and processing system), while more recent research examines the structure of institutional websites, particularly in biomedical research centers. He has explored both theoretical aspects of information retrieval and practical implementations using libraries like Lucene. Active researcher in the SOCIOLOGICAL ANALYSIS GROUP Member of the UNIVERSITY INSTITUTE FOR SCIENCE AND TECHNOLOGY STUDIES PhD School affiliation: Logic and Philosophy of Science

• Information Retrieval
• Web Cybermetrics
• Digital Libraries
• +۵ مورد دیگر