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

برای مسیر پژوهشی‌تان، استاد راهنما، استاد دانشگاه و پژوهشگر مناسب را پیدا کنید و با آن‌ها ارتباط بگیرید.

نمایش ۱۶-۳۰ از ۱۸۶ استاد راهنما

اطلاعات پروفایل‌ها از صفحات عمومی دانشگاه‌ها گرفته شده و ممکن است به‌روز نباشد.

Eric Van Wykمشاهده پروفایل

استاد

University of Minnesota Twin CitiesUnited States

Eric Van Wyk is a Professor in the Department of Computer Science and Engineering at the University of Minnesota's College of Science and Engineering. His research focuses on programming languages, particularly extensible languages and language tools. He leads the Minnesota Extensible Language Tools (MELT) group and has made significant contributions to attribute grammars, compiler design, and language specification techniques. Professor Van Wyk's research centers on programming languages, especially extensible languages. His team has developed techniques for specifying languages and extensions that add new syntax and semantics to a "host" language. His work focuses on mechanisms guaranteeing that independently-developed domain-specific extensions can be automatically composed into well-defined languages. He has created two major systems: Silver, an attribute grammar specification language enabling highly-modular language specification, and Copper, an integrated parser and context-aware scanner generator that uses parser information to return more discriminating tokens. His publication record shows a clear progression from foundational work on language composition to increasingly sophisticated techniques for metatheoretic reasoning, scope management, and strategic tree rewriting. The research demonstrates a consistent pattern of developing practical tools (Silver, Copper, ableC) alongside theoretical advances in language specification and composition, bridging the gap between formal methods and practical language implementation. Distinguished Paper award at SLE2020 Professor Van Wyk has advised multiple Ph.D. students including Ted Kaminski (2017), Lijesh Krishnan (2012), August Schwerdfeger (2010), Jimin Gao (2007), and Dawn Michaelson (2024). His research has received substantial support from the National Science Foundation through projects such as "FMitF: Track I: ComScaN" (2021-2026), "XPS: EXPL: Enabling An Ecosystem of Parallel Programming" (2016-2021), and "SI2-SSE: Collaborative: Extensible Languages for Sustainability" (2010-2015). He leads the Minnesota Extensible Language Tools (MELT) group, which has developed influential systems for language specification while advancing theoretical understanding of language composition and extensibility. The group's work has established significant contributions to the field of software language engineering with particular expertise in attribute grammars and language composition techniques.

پروفایل رسمی دانشگاه

Daniel González Leónمشاهده پروفایل

استاد مدعو

Yale UniversityUnited States

Daniel González León is an Adjunct Professor of Egyptology at the Autonomous University of Barcelona and currently a Visiting Fellow at Yale University’s Near Eastern Languages and Civilizations department. His research focuses on ancient Egyptian epigraphy, hieroglyphic paleography, and titles of the Old Kingdom elites. He holds a PhD in Egyptology (2023) from the Autonomous University of Barcelona, following a BA (2015) from the University of the Basque Country and an MA (2017) from the Autonomous University of Barcelona. His work includes a paleographic study of the 6th and 8th Dynasty Coptos decrees at The Metropolitan Museum of Art, funded by the Andrew W. Mellon Fellowship (2022–2023) and the Basque Government (2024–2028). He is also part of the Spanish-Egyptian Archaeological Mission in Saqqara (SEAMS), focusing on the Kom el-Khamaseen necropolis. His research on the title ỉmȝ-ʿ and the Memphite high priest Imy Nikauptah has contributed to understanding elite structures during the Old Kingdom’s collapse. Education: PhD in Egyptology, Autonomous University of Barcelona (2023) MA in Egyptology, Autonomous University of Barcelona (2017) BA in History, University of the Basque Country (2015) His research interests span prosopography, ancient Egyptian religion, and archaeological fieldwork. Notable achievements include editing monographs on Kom el-Khamaseen and co-authoring studies on Coptos decrees. He has taught Egyptian Epigraphy and Paleography since 2018 and serves as Assistant Editor of Aula Aegyptiaca-Studia . Key awards include the Basque Government Fellowship (2018–2022) and Mellon Fellowship (2022–2023). His current projects explore hieroglyphic script variability and the role of Memphite priests in societal transitions.

پروفایل رسمی دانشگاه

Tiark Rompfمشاهده پروفایل

استادیار

IMDEA Software InstituteSpain

Tiark Rompf is an Assistant Professor at Purdue University , with research spanning programming languages, compilers, and systems. His work bridges domains including architecture, databases, machine learning, and AI through projects like Reachability Types and Rhyme. Co-director of the Purdue Center for Programming Principles and Software Systems (PurPL) Scientific Advisor at SambaNova Systems Previously a member of the Scala team at EPFL His research focuses on: Runtime code generation and advanced compiler technology Expressive data-centric query languages (Rhyme, Datalog) Reachability type systems for memory safety and effect handling Metaprogramming and logical relations for formal verification Recent publications highlight contributions to Datalog compilation (Flan), nested data structures (Rhyme), and polymorphic reachability types. He leads projects exploring: Compiler optimizations for emerging architectures (GPU, TPU, FPGA) ML-driven compiler improvements Secure multi-party computation via metaprogramming Scientific awards include: NSF CAREER Award (2016) Google Faculty Research Awards (2017, 2018) DOE Early Career Research Award (2017) ACM SIGPLAN PL Software Award (2019) GPCE Test of Time Award (2020) Students and alumni from his group have joined institutions like Databricks, DeepMind, Galois, and Meta. He teaches advanced compiler courses including: CS 590 - Advanced Topics in Compilers CS 352 - Compilers CS 502 - Graduate Compilers

پروفایل رسمی دانشگاه

Vikram S. Adveمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Vikram S. Adve is a Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign. He co-founded and co-leads the Center for Digital Agriculture and directs the USDA-funded AIFARMS Institute , focusing on AI applications in sustainable agriculture. His research bridges compilers, parallel systems, and AI to address challenges in edge computing and digital farming. Research interests span compiler technologies (LLVM, HPVM), parallel programming models , software reliability , and AI-driven agriculture . Key projects include: CropWizard : Generative AI for agricultural decision-making. HPVM/ApproxHPVM : Compiler IR for edge devices. Hydride/MISAAL : Automated retargetable compiler construction. Recent publications (2018-2025) emphasize compiler optimizations, approximate computing, binary analysis, and AI for systems. Trends show convergence of compiler techniques , heterogeneous computing , and AI applications in agriculture and edge devices. Adve actively recruits students for projects funded by USDA, Intel, Amazon, and Illinois DPI. He leads the HPVM compiler team and digital agriculture initiatives , integrating cross-disciplinary research across CS, engineering, and agronomy.

پروفایل رسمی دانشگاه

Brae Webbمشاهده پروفایل

مدرس

University of QueenslandAustralia

Brae Webb is an Associate Lecturer in the Faculty of Engineering, Architecture and Information Technology at The University of Queensland. His email is b.webb@uq.edu.au . His research focuses on formal methods, compiler optimizations, and software verification, with contributions to verification frameworks for compiler optimizations and formal semantics of programming language implementations. He has co-authored multiple publications at conferences such as FormaliSE, CPP, and ICFEM, and contributed to editions of the textbook Software Architecture . His work spans theoretical and applied aspects of software engineering, including the use of proof assistants like Isabelle/HOL for verifying term graph optimizations. Recent projects include analyzing GraalVM's intermediate representation and differential testing methodologies for compiler verification frameworks. Brae Webb's publications reflect a commitment to advancing formal verification techniques in compiler design and software systems. His textbook series on software architecture emphasizes practical design principles for scalable software systems.

پروفایل رسمی دانشگاه

Matthias S. Müllerمشاهده پروفایل

استاد

RWTH Aachen UniversityGermany

Prof. Dr. rer. nat. Matthias S. Müller is a Universitätsprofessor and Director of the IT Center at RWTH Aachen University. His research focuses on High-Performance Computing (HPC), parallel programming models, correctness verification, energy-aware computing, and tools for distributed systems. He leads the High-Performance Computing group, contributing to advancements in HPC resource management, runtime systems, and sustainable computing practices. Key areas of expertise include MPI and OpenMP correctness checking, static and dynamic analysis techniques, performance optimization for heterogeneous architectures, and energy footprint modeling. Müller has extensively collaborated on projects like MUST (MPI correctness tool), OMPT tools, and frameworks for analyzing hybrid parallel applications. His work bridges theoretical computer science with practical implementation challenges in large-scale computing environments. Notable contributions include developing methods for data race detection in Remote Memory Access (RMA) programs, latency-aware power management models, and educational frameworks for HPC lab courses. His research often emphasizes tool development, runtime systems, and interdisciplinary applications of HPC across engineering domains. Müller's lab is part of RWTH Aachen's IT Center, which provides infrastructure and expertise for computational research. He actively publishes in top-tier conferences and journals, addressing challenges in parallel programming, energy efficiency, and distributed computing systems.

پروفایل رسمی دانشگاه

Haruo Shiraneمشاهده پروفایل

استاد

Columbia UniversityUnited States

Haruo Shirane is the Shincho Professor of Japanese Literature and Chair of the Department of East Asian Languages and Cultures at Columbia University. He serves as Faculty Director of the Donald Keene Center and has been on leave for the Spring 2020 semester. His academic career spans decades of research in premodern and early modern Japanese literature, media studies, and cultural analysis. BA: Columbia College (1974) MA: University of Michigan (1977) PhD: Columbia University (1983) Shirane's research explores the intersections of Japanese literature , print culture , performance , and visual media . His work emphasizes interdisciplinary approaches, focusing on manuscript traditions, vocality, and cultural memory. Recent projects analyze the social periphery's role in shaping literary practices and the evolution of natural imagery across Japan's cultural history. His publications include pioneering studies on The Tale of Genji , medieval folklore, and anthologies of classical and early modern Japanese literature. Key themes involve genre hybridity , media transitions , and transnational reception . Notable edited volumes are Monsters, Animals, and Other Worlds (2018) and Cambridge History of Japanese Literature (2015). Scientific Awards Kadokawa Genyoshi Prize Ishida Hakyo Prize Ueno Satsuki Memorial Prize (2010) Fulbright Fellowship National Endowment for the Humanities (NEH) Grant Shirane has secured multiple grants from the Japan Foundation, Social Science Research Council (SSRC), and Hakuhodo Corporation. His pedagogical contributions include foundational texts on classical Japanese grammar and reading practices.

پروفایل رسمی دانشگاه

Martin Elsmanمشاهده پروفایل

استاد

University of CopenhagenDenmark

Martin Elsman is a full-time Professor in the Programming Languages and Theory of Computation section at the Department of Computer Science, University of Copenhagen (DIKU). He serves as head of the PLTC section and head of studies for the BSc education in Computer Science and Economics. Elsman is also an active maintainer of several software tools including the MLKit and SMLtoJs. Joined DIKU in 2012 after 4 years at SimCorp (2008-2012) and previous Associate Professorship at IT University of Copenhagen (2003-2008). Co-developer of Futhark, TAIL APL compiler, SMLtoJs, and SMLserver. Education: M.Sc. in Engineering, Technical University of Denmark Ph.D. in Computer Science, University of Copenhagen (DIKU), supervised by Mads Tofte. Research Interests: Elsman works on programming language design and implementation, with a focus on functional programming, module systems, domain-specific languages for financial contracts, region-based memory management, compilation techniques for parallelism, program optimization, and static type systems. His work spans both theoretical and applied domains, including blockchain-based financial contract execution, web technology, and GPU programming using functional languages. Publication Trends: His recent articles focus on functional programming, array programming, parallelism, and memory management. Topics include region inference, type systems for data-parallelism, program optimization techniques, and domain-specific compilation for financial and quantum computing. He frequently collaborates with Troels Henriksen and others on tools like Futhark and MLKit.

پروفایل رسمی دانشگاه

Billy Mosesمشاهده پروفایل

استادیار

University of Illinois Urbana-ChampaignUnited States

Billy Moses is an Assistant Professor in the Department of Computer Science at the University of Illinois Urbana-Champaign (UIUC), with affiliate roles in Electrical and Computer Engineering (courtesy) and the Coordinated Science Library. He holds a PhD and dual S.B. degrees in Electrical Engineering and Computer Science from MIT (2023, 2017), as well as an S.B. in Physics from MIT (2017). His research focuses on compilers, parallel computing, and compiler-driven optimization techniques for high-performance systems. Moses has pioneered work on the Tapir framework for fork-join parallelism, the MLIR compiler infrastructure, and Enzyme for automatic differentiation. Moses' research spans compiler design, GPU acceleration, and AI-driven compiler optimization. Notable contributions include the Polygeist compiler for C-to-MLIR transformation, the Autophase reinforcement learning system for HLS phase ordering, and the Enzyme framework for GPU kernel differentiation. His work emphasizes practical compiler solutions for parallelism, performance portability, and end-to-end code generation in domains like deep learning and scientific computing. Awards: 2024 SIGHPC Doctoral Dissertation Award Courses Taught: CS 598 APE (Advanced Performance Engineering) His recent projects include compiler-based approaches to GPU-to-CPU transpilation, performance portability in heterogeneous systems, and AI-driven compiler decision-making. Moses collaborates with industry and academic partners on advancing compiler technologies for exascale computing and machine learning acceleration.

پروفایل رسمی دانشگاه

Youcheng Sunمشاهده پروفایل

پژوهشگر

The University of ManchesterUnited Kingdom

Youcheng Sun is a researcher at The University of Manchester, affiliated with the Systems and Software Security group, Centre for Digital Trust and Society, Centre for Robotics and AI, and Autonomy and Verification Network. Previously, he held a Lecturer position at Queen's University Belfast and conducted postdoctoral research at the University of Oxford. He earned his PhD from Scuola Superiore Sant'Anna. His research focuses on AI Safety , Security , and Automated Reasoning , with contributions to trustworthy AI, formal verification, embedded systems, and robotics. His work has been funded by Google and the Ethereum Foundation. He has led projects such as SECT-AIR and AUTOSAC, and contributed to the EU H2020 SAFURE project on safety/security assurance in mixed-critical systems. His publications span top-tier venues like IEEE S&P, ICSE, NeurIPS, and IROS. Awards: Fellow of the Higher Education Academy (FHEA) Advising: Supervising PhD students in AI/Security domains (e.g., funded projects on LLMs in social recommendations) Labs/Teams: Member of interdisciplinary networks advancing robotics, AI ethics, and digital trust.

پروفایل رسمی دانشگاه

Binoy Ravindranمشاهده پروفایل

استاد

InriaFrance

Binoy Ravindran is a Professor at Virginia Tech’s College of Engineering, Department of Electrical and Computer Engineering, leading the Systems Software Research Group (SSRG). His research focuses on computer systems, emphasizing security, performance, concurrency, distributed systems, and real-time computing, with recent work in software verification and heterogeneous-ISA platforms. Key projects: Low-level Reasoning Machine (LLRM), Popcorn Linux, LibrettOS, Hyflow, HermiTux, SlimGuard, HydraVM, KairosVM. He has co-authored 15+ papers from 2025 to 2022, spanning venues like ASPLOS, POPL, PLDI, VEE, PPoPP, and MIDDLEWARE, with awards including ACM Distinguished Scientist and eight Best Paper Awards. Service roles: Editorial Boards (IEEE Transactions on Cloud Computing, ACM TECS), Program Co-Chair (ACM Systor 2025), Committee memberships across ASPLOS, PLDI, and more.

پروفایل رسمی دانشگاه

Johannes Ungelenkمشاهده پروفایل

استاد

University of PotsdamGermany

Prof. Dr. Johannes Ungelenk is Professor of General and Comparative Literature at the University of Potsdam's Faculty of Philosophy, a position he has held since April 2025. Previously, he served as Junior Professor for General and Comparative Literature at the same institution since April 2018, with his probation period determined in January 2021. His academic trajectory includes research positions at LMU Munich and doctoral studies focused on literature and weather phenomena in the works of Shakespeare, Goethe, and Zola. Ungelenk's scholarly profile is characterized by several interconnected research foci: Writing from the Between (TS Eliot, Virginia Woolf, Rainer Maria Rilke) Image/Text Interface studies Resistance theory, particularly from French theoretical perspectives Shakespeare studies with emphasis on weather and theatrical elements Philology and touch studies, examining haptic dimensions of literary experience His research demonstrates a consistent progression from weather phenomena in literature toward more nuanced investigations of sensory experience, particularly touch, and how these elements shape our understanding of literary texts. This evolution is clearly visible in his monograph Touching at a Distance. Shakespeare's Theater (2023) and his edited volume Berühren Denken (Thinking Touch, 2021), which explore the relationship between theatrical performance, literary representation, and bodily sensation. Ungelenk's scholarly output reveals a trajectory moving from textual analysis toward increasingly interdisciplinary approaches that bridge literature, philosophy, and sensory studies. His recent publications demonstrate growing engagement with intermedial perspectives and the philosophical dimensions of literary representation, particularly regarding touch and spatiality in literary texts. Doctoral scholarship from Evangelisches Studienwerk Villigst (2013-2015) As an active academic citizen, Ungelenk participates in multiple scholarly associations including the German Society for General and Comparative Literature, German Shakespeare Society, and DFG Network Touching. His collaborative projects, such as the Athens-Potsdam cooperation, reflect his commitment to international academic exchange and interdisciplinary dialogue. His public engagement, including contributions to the university magazine Portal discussing Shakespeare's relationship with weather phenomena, demonstrates his ability to translate complex literary concepts for broader audiences while maintaining scholarly rigor.

پروفایل رسمی دانشگاه

Zhenjiang Huمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Zhenjiang Hu is a Chair Professor and Dean of the School of Computer Science at Peking University. He serves as Director of the Programming Languages Laboratory and has held significant academic positions including Professor at the National Institute of Informatics and University of Tokyo. BS and MS from Shanghai Jiaotong University (1988, 1991) PhD from University of Tokyo (1996) Lecturer/Assistant Professor at University of Tokyo (1997) Associate Professor at University of Tokyo (2000) Full Professor at National Institute of Informatics (2008) Full Professor at University of Tokyo (2018-2019) Professor Hu's research primarily focuses on programming languages and software engineering, with special emphasis on functional programming, bidirectional transformation, and software adaptation. His work explores transformational programming approaches for automatic program optimization, systematic parallelization of sequential programs, efficient manipulation of structured documents, and bidirectional model transformation for software development. His research has significantly advanced the field of bidirectional programming, developing foundational theories and practical applications that enable more reliable and maintainable software systems. His recent publications demonstrate a strong trajectory in bidirectional programming, program synthesis, and graph processing. The research shows increasing sophistication in handling program transformations, with growing emphasis on practical applications in software engineering contexts. His work increasingly integrates formal methods with practical programming language design, creating systems that maintain theoretical soundness while addressing real-world software development challenges. The research spans multiple venues including top conferences like PLDI, POPL, ICFP, and OOPSLA, reflecting its broad impact across programming language research. Fellow of JFES (Japan Federation of Engineering Society, 2016) ACM Distinguished Scientist (2016) Member of Academia Europaea (2019) IEEE Fellow (2020) Member of Engineering Academy of Japan (2020) Professor Hu actively mentors students and has welcomed excellent candidates to join his group through Peking University's International Elite PhD Program and Boya Postdoctoral Fellowship Program. He serves on numerous program committees for major conferences including PLDI, POPL, ICFP, and OOPSLA, and holds editorial positions for prestigious journals such as Journal of Functional Programming and Science of Computer Programming. His leadership extends to conference organization, having served as PC Chair for CNCC 2024 and General Co-Chair for SoICT 2019. As Director of the Programming Languages Laboratory at Peking University, Professor Hu leads a research team focused on advancing programming language theory and practice. His lab has developed influential frameworks like BiGUL for bidirectional programming and Fregel for graph processing. The laboratory maintains strong international collaborations and contributes to both theoretical foundations and practical implementations in programming languages and software engineering.

پروفایل رسمی دانشگاه

Arthur Charguéraudمشاهده پروفایل

پژوهشگر

InriaFrance

Arthur Charguéraud is a senior researcher (Directeur de Recherche) at Inria, based in Strasbourg within the Camus team, affiliated with the iCube laboratory at Université de Strasbourg. His research spans program verification, program optimization, and mechanized semantics of programming languages, with a strong focus on separation logic and interactive theorem proving using Coq. Affiliation: Inria, Camus team, iCube Laboratory, Université de Strasbourg Position: Senior Researcher (Directeur de Recherche) Research Focus: Formal verification, separation logic, source-to-source transformations, high-performance computing His research interests center on developing formal methods to ensure correctness and efficiency in software systems. He works extensively on separation logic to verify both time and space complexity of programs, especially in the presence of garbage collection. His work bridges theoretical foundations with practical tools, such as the CFML framework and the OptiTrust optimization framework, which enables trustworthy source-to-source transformations with formal guarantees. His publications reveal a consistent focus on interactive verification, formal semantics, and performance optimization. Key themes include granularity control in parallelism, mechanized semantics (e.g., for JavaScript), and verified compilation. He has made significant contributions to separation logic, including extensions for time and space credits, big-O reasoning, and higher-order representation predicates. Arthur Charguéraud has received notable recognition for his work, including: Distinguished Paper Award at CPP 2022 SIGPLAN Research Highlight at PPoPP 2019 He has advised several PhD students and postdoctoral researchers, including Guillaume Bertholon, Alexandre Moine, and Armaël Guéneau. He leads the ANR-funded OptiTrust project (2022–2027), which aims to build a framework for verified source-to-source optimizations. He has also been involved in other major projects such as ANR VOCAL, ANR AJACS, and ERC DeepSea. His work is supported by both national (ANR, Inria) and institutional (CEA, ENS) grants. He is actively involved in the programming languages research community, serving on the program committees of top conferences including POPL, ICFP, PLDI, CPP, and CoqPL, and has chaired several workshops. He is also engaged in education and outreach, co-authoring the book Separation Logic Foundations in the Software Foundations series and designing challenges for the Concours Castor Informatique to promote computer science among young students.

پروفایل رسمی دانشگاه

Mike Vanierمشاهده پروفایل

استاد آموزشی

California Institute of Technology (Caltech)United States

Mike Vanier is a Teaching Professor in the Computing and Mathematical Sciences (CMS) department at the California Institute of Technology (Caltech). He specializes in programming languages, compilers, functional programming, and computer science education. His work emphasizes practical and theoretical aspects of language design, implementation, and pedagogy. Professor Vanier teaches courses such as CS 1x (Intermediate Computer Programming) , CS 4 (Fundamentals of Computer Programming) , and advanced topics like CS 164 (Compilers) . His curriculum includes functional programming paradigms, Rust and C systems programming, and interactive theorem proving with Coq. He also explores array programming languages like J, focusing on their unique features and applications. Vanier’s research and teaching highlight innovative approaches to programming language education and the intersection of theory and practice. His blog delves into topics such as concise factorial implementations in J and the array programming paradigm, reflecting his interest in both foundational concepts and applied computational methods.

پروفایل رسمی دانشگاه