استاد راهنما، استاد دانشگاه یا پژوهشگر مناسب برای مسیر پژوهشیتان را پیدا کنید و با او ارتباط بگیرید.
نمایش ۴۶-۶۰ از ۶۲ استاد راهنما
اطلاعات این پروفایلها از صفحات عمومی دانشگاهها جمعآوری شده و ممکن است بهروز نباشد.
Francisco José Bueno Carrillo is an Associate Professor affiliated with the Department of Artificial Intelligence at the College of Computer Science, Technical University of Madrid. He is a member of the CLIP group and actively teaches courses in computational logic, formal logic, and logic programming.
Maria Garcia de la Banda is a distinguished Professor at Monash University's Faculty of Information Technology, where she serves in the Department of Data Science and Artificial Intelligence (DSAI). With over 25 years of academic experience, she has held significant leadership roles including Deputy Dean (Research) until July 2022, overall Deputy Dean of the Faculty (2013-2016), and Head of the Caulfield School of Information Technology (2009-2011). She is currently a member of the ARC College of Experts and Co-Chair of the Monash-Woodside FutureLab. Her educational background includes a Doctor of Philosophy in Computer Science from the Universidad Politecnica de Madrid (awarded July 7, 1994) and an Ingeniero Informatico degree from the same institution (awarded March 1, 1992). Her PhD received the university's Best PhD Award. Garcia de la Banda's research spans multiple disciplines with a strong focus on constraint programming, combinatorial optimization, program analysis, and bioinformatics. She leads the Optimization research group within DSAI and has made significant contributions to declarative programming languages, parallelism, and automatic parallelization. Her interdisciplinary work bridges computer science with biological applications, particularly in protein structure analysis and computational drug design. Her publication record shows consistent contributions across constraint programming, optimization, and bioinformatics. Recent work demonstrates increasing interdisciplinary collaboration, with a notable expansion into bioinformatics applications alongside her core constraint programming research. She has maintained a strong presence at major conferences like CP (International Conference on Principles and Practice of Constraint Programming) while also building impactful industry collaborations. Her scientific recognition includes: Logan Fellowship (1997) - the first and only prestigious award of its kind in the Faculty of IT International Constraint Modelling Challenge winner (2005, with Peter Stuckey) Universidad Politecnica de Madrid's Best PhD Award (1994) Induction into the Monash Honour Roll (2021) Vice-Chancellor's Diversity and Inclusion Award (2020) As a research leader, Garcia de la Banda has secured over $20M in industry funding and $14M in nationally competitive funding, including $8M as Chief Investigator in 11 ARC grants (5 as lead). She has served as Area Editor of the Journal of Theory and Practice of Logic Programming since 2010 and on the Editorial Board of the Constraints journal since 2019. Her leadership extends to professional organizations, having served on the Executive Committees of both the Association of Logic Programming (2005-2008) and the Association of Constraint Programming (2017-2020), where she was President (2019-2020). She leads the Optimization research group within DSAI and collaborates extensively across Monash University and with industry partners. Her current major projects include HARNESS (Hierarchical Abstractions and Reasoning for Neuro-Symbolic Systems), the ARC Training Centre in Optimisation Technologies, and the Building 4.0 CRC project focused on better buildings through technology. These initiatives demonstrate her commitment to translating theoretical research into practical applications with real-world impact.
Manuel Hermenegildo is a distinguished academic holding dual appointments as a Full Professor at the Polytechnic University of Madrid (Spain) and a Distinguished Professor at the IMDEA Software Institute. He earned his Ph.D. in Computer Science from the University of Texas at Austin in 1986. His roles include Founding Director of IMDEA Software (2007–2017) and former Director of Spain's national research funding agency. He leads the CLIP Lab (UPM) and contributes to the Ciao programming language and CiaoPP analysis tool. Education: Ph.D. in Computer Science, University of Texas at Austin (1986) Research focuses on global program analysis, verification, debugging, parallelism, and logic programming. He has authored over 250 papers and received prestigious awards like the ACM Fellowship and Spain's Julio Rey Pastor Prize. His leadership roles span international organizations such as INRIA's Scientific Board and the European Association for Programming Languages and Systems (EAPS). Key contributions include static analysis frameworks, energy-aware programming models, and educational tools like the Ciao Prolog Playground. Notable collaborations include the ENTRA project for whole-system energy transparency. His work emphasizes practical applications of formal methods, with projects funded by national and international grants. Advises on policy and research strategy for EU and Spanish science initiatives.
Jose Francisco Llosa Espuny is a faculty member at the Universitat Politècnica de Catalunya (UPC), affiliated with the Faculty of Computer Science of Barcelona (FIB) and the Department of Computer Architecture. He is a key member of the PM - Programming Models research group and has been involved in numerous competitive R&D projects related to high-performance computing and computer architecture. University: Universitat Politècnica de Catalunya School: Faculty of Computer Science of Barcelona Department: Department of Computer Architecture Research Group: PM - Programming Models Email: josepll@ac.upc.edu ORCID: 0000-0001-7740-3148 His research focuses on advanced computer architecture topics, particularly VLIW processors, software pipelining, register allocation, and compiler optimizations for high-performance and low-power systems. He has also made significant contributions to computer science education, exploring active learning, problem-based learning, and the use of interactive response systems for formative assessment. His recent publications and projects, including the European Master for HPC Curriculum and various HPC education initiatives, highlight his ongoing engagement in both technical research and pedagogical innovation. The articles reflect a strong trend in optimizing processor architectures for performance and energy efficiency, as well as improving teaching methodologies in computer science. He has been involved in significant research projects funded by the Spanish government and the European Union, such as those under the HORIZON 2020 program and various national R&D plans. Llosa Espuny has advised doctoral students, including Manoj Gupta and Francisco Zalamea, indicating his role in mentoring the next generation of researchers. He has collaborated extensively with leading figures in the field, such as Mateo Valero and Eduard Ayguadé, on numerous publications and projects. His work is associated with the Barcelona Supercomputing Center, a key entity in national and European high-performance computing efforts.
Francisco J. Andújar Muñoz is an Associate Professor at the University of Valladolid in the Department of Computer Science since January 2024. His career spans multiple institutions including Universidad de Castilla-La Mancha (2008-2015) and Universitat Politècnica de València (2017-2018), with academic roles ranging from Research Assistant to Juan de la Cierva Formación Researcher. PhD in Advanced Computer Science Technologies (2011-2015) MsC in Advanced Computer Science Technologies (2010-2011) Computer Science Engineering (2008-2010) Computer Science Technical Engineering (2004-2008) His research focuses on high-performance interconnection networks , with significant contributions to quality-of-service mechanisms, energy-efficient network topologies, and heterogeneous programming optimization. He maintains the open-source VEF Traces framework for network workload modeling. Recent publications (2023-2025) demonstrate expertise in FPGA high-level synthesis portability, SYCL-based GPU optimization, and machine learning applications for Twitch streaming analysis. His work combines theoretical network design with practical implementations in the Journal of Supercomputing and IEEE Transactions on Computers .
Mª Angeles Solano Rodriguez is a researcher at the University of Murcia's Department of Language and Literature Teaching. Her work focuses on phraseology, paremiology, and translation studies with a strong emphasis on foreign language pedagogy. PhD in French Phraseology Member of the 'Phraseology, Paremiology and Translation' research group Previously part of 'Fonología y Lectura' research team Her research combines phraseological analysis with didactic strategies to enhance language acquisition. Key areas include: Pragmatic phraseological units Metacognitive learning frameworks Task-based language teaching Translation of literary idiomatic expressions Contrastive phraseology between languages Recent publications analyze phraseological patterns in Daniel Pennac's works, pragmatic markers in foreign language classrooms, and integrated phraseology projects for Spanish teaching. Her methodology emphasizes cognitive-emotional intersections in language learning and digital resource utilization for phraseological instruction.
Dr. José Carlos Cabaleiro Domínguez is a Full Professor in the Department of Electronics and Computing at the University of Santiago de Compostela's Faculty of Computing, Spain. He has been a member of CiTIUS (Centro singular de investigación en tecnoloxías da información e comunicación) since 2010 and was promoted to Full Professor in 2022 after serving as an Associate Professor since 1994. His academic journey began with a BS and PhD in Physics from the University of Santiago de Compostela in 1989 and 1994 respectively, with initial teaching experience at the University of A Coruña from 1990-1994. His research focuses on high performance computing, particularly in parallel systems architecture, development of parallel algorithms for irregular problems with sparse matrices, performance prediction and improvement of parallel applications, memory hierarchy optimization, and applications for grid and cloud computing. He has developed significant expertise in 3D point cloud processing from remote sensors like LiDAR, with applications in urban infrastructure analysis, powerline detection, and route planning. Analysis of his recent publications reveals a strong emphasis on optimizing resource allocation for big data frameworks, developing deep learning applications for point cloud classification, and creating efficient algorithms for powerline detection in LiDAR surveys. His work bridges theoretical computer science with practical applications in geospatial analysis and infrastructure monitoring. His research has been published in top-tier journals including IEEE Transactions, ISPRS Journal of Photogrammetry and Remote Sensing, and Future Generation Computer Systems, reflecting his significant contributions to the field of high performance computing and its applications. Dr. Cabaleiro actively collaborates with researchers across multiple institutions, as evidenced by his extensive publication record with co-authors from various universities and research centers. His work demonstrates a consistent trajectory of advancing parallel computing techniques while applying them to increasingly complex real-world problems involving large-scale geospatial data.
Tomás Fernández Pena is a Full Professor at the University of Santiago de Compostela (USC) and Senior Researcher at the Research Center in Intelligent Technologies (CiTIUS) . With a career spanning over three decades, he has held academic positions since 1990 and contributed extensively to High Performance Computing (HPC), Big Data, and emerging quantum computing fields. Ph.D. in Physics from USC (1994) Senior Member of IEEE Associate Editor for IEEE Transactions on Computers and IEEE Access Research Contributions : His work focuses on parallel systems architecture, cloud computing middleware, and quantum simulation optimization. He has pioneered methods for NUMA systems, LiDAR data processing, and Big Data applications in bioinformatics/cheminformatics. His recent articles show increasing emphasis on quantum computing frameworks and distributed quantum processing. Scientific Recognition : Holds four Spanish Ministry of Education six-year research excellence periods (sexenios de investigación) and has served as Principal Investigator in 3 public projects and co-investigator in 31 EU/Xunta de Galicia funded initiatives. Supervised 7 Ph.D. theses and published 43+ international journal papers. International Collaborations : Maintains academic connections through funded research stays at Loughborough University, University of Tennessee, and University of Illinois Urbana-Champaign. Active in IEEE and participates in global conferences like Euro-Par and CHEP.
Juan Carlos Pichel Campos is a Full Professor at the University of Santiago de Compostela (USC) specializing in high performance computing and language technologies. His research spans quantum computing, distributed systems, and Big Data technologies with a focus on practical applications in health informatics and computational physics. He received his B.Sc. and M.Sc. in Physics from University of Santiago de Compostela (Spain) and completed his Ph.D. there in 2006. He conducted postdoctoral research at University Carlos III de Madrid and University of Illinois at Urbana-Champaign, and worked as a researcher and project manager at Galicia Supercomputing Center. Professor Pichel's research interests include parallel and distributed computing, Big Data technologies, programming models, and software optimization techniques for emerging architectures. His recent work has focused on bridging quantum computing with classical high performance computing systems, developing efficient algorithms for processing massive biological datasets, and creating tools for health-related information retrieval and misinformation detection. His interdisciplinary approach combines techniques from computer science, physics, and biomedical informatics to solve complex computational problems. Analysis of his recent publications reveals a strong trend toward quantum computing applications and integration with classical HPC systems (accounting for approximately 40% of his recent work), followed by health informatics and natural language processing (about 30%), and bioinformatics and computational physics (about 30%). His research demonstrates a consistent focus on developing practical tools and frameworks that address real-world computational challenges across multiple domains. rePowerSiC: High-Efficiency High-Power Laser Beaming In-Space Systems Based On Sic (2024-2028) C3HS: Content curation for consumer health search - Search and misinformation detection (2023-2026) Big-eRisk: Early Prediction of Personal Risks on Massive Data (2021-2024) eRISK: Technologies for the early prediction of signs related with psychological disorders (2019-2021) BigNLP: Approaching High Performance Computing to Big Data Technologies: Natural Language Processing as Case Study (2015-2018) Professor Pichel has established strong collaborations with research groups across Europe and the United States, particularly in the fields of quantum computing and biomedical informatics. He is actively involved with CiTIUS (Centro singular de investigación en tecnoloxías da información e da comunicación de USC), contributing to its mission of advancing information and communication technologies through interdisciplinary research.
Alberto Alvarez Lugrís is a full-time researcher affiliated with the University of Vigo's Faculty of Philology and Translation , specifically in the Department of Translation and Linguistics . He focuses on Translation and Interpretation studies, with particular emphasis on comparative stylistics and corpus-based translation research. Doctorate: University of Vigo (1999) Supervisors: Dr. María Dolores Gómez Penas, Dr. José Yuste Frías Research Group: TI4 Translation & Paratranslation Campus: Vigo His research spans translation theory , lexicography , and computational linguistics . He has developed corpus-based methodologies for bilingual dictionary creation and translation analysis. Current projects involve Galician-English translation dynamics and translator training using digital tools. Scientific production trends show sustained contributions to: Corpus linguistics applications Translation pedagogy Lexicographic resource development Stylistic analysis in translation Cultural transfer studies Translator identity research Selected honors: Recipient of IV Premio Plácido Castro de tradución (2005) His digital lexicography work includes: Modern Dictionary (Inglés-Galego) development CLUVI bilingual dictionary projects Corpus-driven lexicographic planning
استادیار
Soham Chakraborty is an Assistant Professor at the Programming Languages Group, TU Delft since 2021. He previously served as an Assistant Professor at the CSE Department, IIT Delhi before joining TU Delft. His academic journey includes a PhD from Max Planck Institute for Software Systems (MPI-SWS) in 2019 and a Master's degree from CSE Department, IIT Kharagpur in 2008. Affiliation: TU Delft, IIT Delhi, MPI-SWS Research Interests: Programming Languages, Compilers, Architecture, Verification, Concurrency His research focuses on formal semantics, compiler correctness, architecture-to-architecture translation, and verification of weak memory models. He has contributed to major conferences including POPL, PLDI, CGO, and ASPLOS. His work addresses challenges in heterogeneous concurrency, relaxed memory concurrency, and binary translation for weak memory architectures. Recent works include How Hard is Weak-Memory Testing? (POPL'24) and Toast: A Heterogeneous Memory Management System (PACT'24). He also received the Distinguished Paper Award at DATE'25 and Distinguished Artifact Award at PODC'22 . Teaching: Courses like Concepts of Programming Languages (CS2120), Parallel and Concurrent Programming (CS4555), Compiler Construction (CS4555), Analysis of Concurrent and Distributed Programs (CS4405), Software Fundamentals (Rust), and Seminar Programming Languages (COL 380) Students: PhD student Dennis Sprokholt, MSc students Michal Raczkiewicz, Alexandru Dumitriu, Huixuan Wu, and alumni including Pieter van den Ham, Mingyu Gao, Jeroen Kloppenburg, and others. Service: Served on program committees for POPL, PLDI, CGO, VMCAI, APLAS, and Eurosys workshops.
استادیار
Stefan K. Muller is an Assistant Professor in the Computer Science Department at Illinois Institute of Technology. His research focuses on applying programming language techniques to improve correctness and efficiency in parallel computing, with applications spanning AI, computer science education, and systems design. He earned his PhD at Carnegie Mellon University (2018) under Umut A. Acar, following a postdoc there (2018–20), and holds an AB in Computer Science from Harvard University (2012). PhD, Carnegie Mellon University (2018) Postdoc, Carnegie Mellon University (2018–20) AB, Harvard University (2012) Stefan’s work integrates type systems, static resource analysis, and concurrency to address challenges in parallelism. His recent projects include Graph Types for language-agnostic parallel computation analysis, Responsive Parallelism models for interactive systems, and Resource-aware GPU Programming tools. He has contributed to conferences like POPL, PLDI, ICFP, and SPLASH, often focusing on deadlock detection, futures-based parallelism, and efficient compiler optimizations. His publications (2012–2024) emphasize formal methods for parallel systems. Key trends include type-driven concurrency, static analysis of GPU programs, and responsive scheduling for interactive applications. He mentors students in programming language theory and parallel computing, with former advisees now at institutions like Apple, Amazon, and UPenn. Stefan’s teaching includes courses on Types and Programming Languages (CS534), Science of Programming (CS536), and Compiler Construction (CS443). Outside academia, he is a homebrewer, runner, and singer, with a Bacon number of 2 and Erdős number of 4 .
Andrew Myers is a Professor in the Department of Computer Science at Cornell University , focusing on Programming Languages , Computer Security , and Distributed Systems . He is an ACM Fellow and currently serves as Editor-in-Chief for ACM Transactions on Programming Languages and Systems (TOPLAS). His professional roles include program chair or co-chair for conferences such as ACM POPL 2018 , ACM CCS 2016 , and POST 2014 . His research bridges formal methods with practical language design , as evidenced by projects like the Condorcet Internet Voting System and the Viaduct compiler . Contributions span security protocols , concurrent programming , and hardware design languages . 2023 : Universally Composable Security for Program Partitioning 2022 : A Flexible Type System for Fearless Concurrency, PDL: A High-Level Hardware Design Language 2021 : Viaduct compiler for secure distributed programs 2020 : Handling Bidirectional Control Flow 2018 : MixT consistency language, Covert Channel-Free Hardware Scientific recognition includes Best Paper Awards at POPL 1999 , SOSP 2001 , SOSP 2007 , CIDR 2013 , PLDI 2013 , and PLDI 2015 . Professional service includes conference organization (e.g., ACM POPL 2018 Program Chair , Steering Committee roles in PriSC and PLDI). Myers maintains active open-source projects like civs (Condorcet Internet Voting System) and Viaduct , reflecting his commitment to secure, verifiable systems and language-driven solutions .
Francisco Fernández Rivera serves as a Professor at the University of Santiago de Compostela within the Department of Computer Architecture and Technology. His teaching spans multiple academic programs including the Bachelor’s Degree in Informatics Engineering, Double Bachelor's Degree in Informatics Engineering and Mathematics, and the joint Master’s program in High Performance Computing with the University of A Coruña. His research centers on computer architecture with specialized expertise in high-performance systems. Key focus areas include: Computer Architecture High Performance Computing Parallel Systems Operating Systems Compilers He actively contributes to the Computer Architecture research group, developing curriculum for critical infrastructure technologies. Scientific Awards: No awards documented in source materials. Advising and Grants: Student supervision details and funding sources not disclosed in available records. Teaching responsibilities demonstrate leadership in core systems courses across undergraduate and graduate levels.
مدرس ارشد
John Wickerson is a Senior Lecturer in the Department of Electrical and Electronic Engineering at Imperial College London. His research spans formal methods, concurrency, and hardware/software synthesis. Academic Rank: Senior Lecturer Affiliation: Imperial College London His research interests include concurrency semantics, weak memory models, transactional memory, GPU and FPGA programming, and high-level synthesis for hardware accelerators. These areas intersect formal verification, programming language design, and hardware-software interface optimization. The publications of John Wickerson reflect trends in formalizing memory models, improving hardware synthesis reliability, and testing concurrency frameworks. His work addresses challenges in quantum compiler validation, GPU workgroup progress, and weak memory persistency across Intel, ARM, and C++ architectures. He actively contributes to academic communities as a Publicity Co-Chair and Session Chair in conferences like POPL and as a Committee Member in SPLASH and PLDI. His GitHub repository activity and X (Twitter) presence further demonstrate his engagement in technical dissemination.
