استاد راهنما، استاد دانشگاه یا پژوهشگر مناسب برای مسیر پژوهشیتان را پیدا کنید و با او ارتباط بگیرید.
نمایش ۱-۱۵ از ۲۴۱ استاد راهنما
اطلاعات این پروفایلها از صفحات عمومی دانشگاهها جمعآوری شده و ممکن است بهروز نباشد.
دانشیار
Yin Tat Lee is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering , University of Washington, and a Senior Principal Researcher in Microsoft AI. His research spans convex optimization , convex geometry , graph algorithms , online algorithms , and differential privacy , with applications in machine learning and theoretical computer science.
Marco Platzner is a Professor for Computer Engineering at Paderborn University , Germany. He serves as the Dean of Research for the Faculty of Computer Science, Electrical Engineering and Mathematics and heads the Department of Computer Science. Previously, he held research positions at ETH Zurich, Stanford University, GMD (now Fraunhofer IAIS), and Graz University of Technology. Education: Diploma and PhD in Telematics (Graz University of Technology, 1991 and 1996), Habilitation in Hardware-Software Co-Design (ETH Zurich, 2002) Research Interests focus on reconfigurable computing, approximate computing, self-* computing, and embedded systems. His work addresses hardware security, FPGA design, and sustainable AI in data centers. Current projects include energy-efficient AI through deep neural network approximation for FPGAs (EKI-App) and lifecycle sustainability of socio-technical systems (SAIL). Publication Trends show expertise in FPGA security, approximate circuit synthesis, robotics, and hardware acceleration. Collaborations span robotics (ROS 2 integration), AI (transformer optimization), and cybersecurity (Trojan detection). Scientific Awards: ACM SIGDA Hall of Fame (2020) Significant Paper Award (FPL 2015) Best Paper Awards at IEEE ISVLSI (2024), ARC (2018), IEEE ReConFig (2015), and others Weierstraß Prize for Teaching (2008) Leadership Roles include membership in the board of Paderborn Center for Parallel Computing (PC2) and the Jenny Aloni Centre for Early Career Researchers. He has contributed to EU FP7 FET project EPiCS and German priority programs on embedded systems and organic computing.
Holger Fröning is a full professor at Heidelberg University’s Institute of Computer Engineering (ZITI), where he leads the Hardware and Artificial Intelligence (HAWAII) Lab. His research focuses on embedded machine learning , high-performance computing , and hardware-software co-design , with emphasis on resource efficiency, power optimization, and emerging architectures like analog , photonic , and resistive memory systems. He has held leadership roles including Managing Director of ZITI (2023–present) and Dean of Studies for Computer Science (2019–2022) , and has collaborated with institutions such as NVIDIA Research, Chinese Academy of Sciences, and Graz University of Technology. Research Trends : His recent publications explore Bayesian neural networks , green machine learning , analog computing noise mitigation , and GPU/FPGA optimization . Articles highlight photonic computing for AI , memory-efficient training , and hardware-aware DNN compression . Scientific Awards : 2025 HiPEAC Paper Award (Nature Computational Science) 2014 Google Faculty Research Award Multiple Best Paper Awards (IPDPS, ICPP, ECML-PKDD workshops) Leadership & Service : Organized workshops (WEML, ITEM, F4HD), chaired tracks at EuroPar and ISC, and served on program committees for ICPR, ECAI, and FPL. Education & Affiliations : PhD and MSc from University of Mannheim (2007/2001). Sponsors include DFG, FWF, FFG, NVIDIA, SAP, and XILINX.
Prof. Bryan Ford leads the Decentralized/Distributed Systems (DEDIS) lab at EPFL. He focuses on secure decentralized systems, including blockchain technology, privacy, and systems security. He earned his Ph.D. from MIT and held faculty positions at Yale University and EPFL. His work spans distributed consensus protocols, peer-to-peer networking, and privacy-preserving systems. Key projects include QuePaxa (timeout-free consensus), UIA (global connectivity for mobile devices), and MedCo (secure healthcare data sharing). He advises numerous PhD students and contributes to open-source projects like Bitcoin collective signing and privacy networks like Riffle. Education: Ph.D., MIT; Postdoctoral work at Yale Research interests include blockchain scalability, consensus algorithms, and cryptographic privacy. His lab develops systems like TRIP for coercion-resistant voting and F3B to mitigate blockchain front-running. His work on NAT traversal and peer-to-peer protocols (e.g., STUN/ICE) remains foundational in network architecture. He emphasizes practical, auditable security solutions such as CertiKOS and atomic cross-chain transactions (Atom). Notable contributions: CoSi (collective signing), OmniLedger (sharded blockchain), and privacy-preserving protocols like PURBs (Protected Unsealable Recursive Boxes). His lab collaborates with Swiss Post to audit e-voting systems and designs democratic cryptocurrencies like PoPCoin.
Prof. Dr. Martin Kronbichler is a faculty member at the Faculty of Mathematics , Ruhr University Bochum , leading the Numerics group. His research focuses on higher-order finite element methods, multigrid techniques, and high-performance computing for complex fluid and solid mechanics problems. Key Research Areas: Higher-order finite element methods, iterative solvers, multigrid algorithms, exascale mathematical software, and computational fluid dynamics. Notable Projects: EU-funded dealii-X (exascale digital twins), BMBF PDExa (optimized PDE solvers for exascale), and DFG grants for cut-discontinuous Galerkin methods and geometric multigrid. Publications Trends: Recent works emphasize matrix-free operators for hyperelasticity, diffuse-interface models for additive manufacturing, and multigrid smoothers for higher-order elements. Scientific Awards: Recipient of the Humboldt Research Award for his contributions to numerical methods and HPC. Team: Collaborates with researchers like Dr. Shubham Kumar Goswami, Dr. Richard Schussnig, and Natalia Nebulishvili.
Anastasia Ailamaki is a Professor at the Swiss Federal Institute of Technology in Lausanne (EPFL), renowned for her work in database systems and data management . Her research focuses on optimizing query processing for modern hardware, particularly GPUs and heterogeneous systems, and advancing cloud data analytics with serverless architectures like PixelDB . She has co-authored influential frameworks for adaptive query optimization , hardware-conscious database engines , and model-relational data management . Key research areas: GPU acceleration , HTAP , query approximation , spatial data processing , and cloud-native databases . Recent work emphasizes cross-task optimizations in distributed environments, efficient sampling , and context-aware joins integrating vector embeddings. In 2023, she contributed to adaptive recursive query optimization and speculative K-means clustering, while 2024 publications addressed proportional caching (HPCache) and model-relational systems . Her collaborations span institutions such as MIT, Microsoft, and ETH Zurich, with publications in top venues like SIGMOD , VLDB , and ICDE .
استادیار
Jishen Zhao is an Assistant Professor in the Department of Computer Science and Engineering at the University of California, San Diego (Jacobs School of Engineering). His research focuses on computer architecture, non-volatile memory systems, and deep learning acceleration. Dr. Zhao has published extensively in top venues including ISCA, MICRO, ASPLOS, and IEEE Transactions. He collaborates with researchers at UCSD and beyond to advance systems for emerging applications in AI and autonomous vehicles. Dr. Zhao's primary research areas include persistent memory systems, hardware/software co-design for deep learning, and safety-critical computing. He develops techniques for crash consistency, memory disaggregation, and efficient neural network deployment. His work on autonomous vehicles addresses scenario generation and perception-aware system design. Recent projects explore LLM applications for software engineering and hardware verification. Analysis of Dr. Zhao's 2024-2025 publications reveals a strong shift toward AI-integrated systems research. He applies large language models to tasks like RTL verification and software issue localization while continuing to innovate in memory systems for serverless computing. There is growing emphasis on safety-critical systems for autonomous vehicles and energy-efficient neural network training using novel hardware architectures. Information about Dr. Zhao's scientific awards, advising activities, grants, and laboratory facilities was not available in the provided documentation.
Günter Rote is a Professor in the Department of Computer Science at Freie Universität Berlin, specifically within the Theoretical Computer Science group (Arbeitsgruppe Theoretische Informatik). He holds a formal academic title of Professor Dr. and is affiliated with the Faculty of Mathematics and Computer Science. His research focuses on theoretical computer science, computational geometry, algorithms, and discrete mathematics. Key research interests include geometric algorithms, optimization problems (e.g., shortest paths, traveling salesman problems), and algorithm design for parallel computing systems. His work spans topics such as systolic arrays, convex hulls, and combinatorial optimization. Rote’s contributions include foundational studies on computational geometry problems, algorithmic complexity, and practical applications in energy equity and infrastructure design. Publications highlight contributions to solving extremal equations, polygon transformations, and the quadratic assignment problem. He has been active in academic leadership, mentoring students, and contributing to computational science communities. His email is rote@inf.fu-berlin.de, and his office is located at Takustraße 9 in Berlin.
Philipp Neumann is a Professor and Chair of High-Performance Computing at Helmut Schmidt University since 2019. Previously, he held roles including Senior Researcher at the German Climate Computing Center (2016–2019), Postdoc at the University of Hamburg (2017–2019), and completed his Habilitation in Scientific Computing at TU Munich (2019). He transitioned to DESY/Universität Hamburg in May 2024. Education : PhD (Dr. rer. nat.) in Scientific Computing at TU Munich (2008–2013) Habilitation in Scientific Computing at TU Munich (2019) Studies in Technomathematics at Friedrich-Alexander University Erlangen-Nuremberg (2003–2008) Research Interests focus on high-performance computing, parallel and distributed systems, computational science, and applications in climate modeling. His work bridges computational methods with medical challenges, including surgical simulation training, wound healing mechanisms, and gastrointestinal pathology. Professional Activities include leadership roles in major conferences such as steering committee member for ISPDC (since 2021) and program committee roles in IPDPS, ICCS, and IEEE Cluster. He also managed the DFG priority program SPPEXA (2013–2016). Labs/Teams include the Chair for High-Performance Computing at Helmut Schmidt University and collaborations with the German Climate Computing Center. His current work at DESY/Universität Hamburg likely expands these computational efforts into interdisciplinary research.
Thomas Berger is a Professor at the University of Hohenheim , affiliated with the Faculty of Agricultural Sciences and leading the Department of Economics of Land Use . He also contributes to the Computational Science Hub and Hohenheim Tropics initiatives. Focus Areas: Climate change adaptation, land-use modeling, biodiversity-productivity trade-offs, agent-based simulation, and machine learning in agricultural systems. Key Projects: Simulation frameworks for smallholder resilience in Ethiopia, bioeconomic modeling in the Amazon, and hybrid intelligence applications in European agricultural policy. Recent Publications: 2025 study on climate change effects on insecticide reduction in Germany, 2024 work on reconciling biodiversity with productivity via hybrid models, and 2023 methodological contributions to surrogate modeling and seasonal forecast integration. Research Trends: Interdisciplinary integration of climate science, agricultural economics, and computational modeling, with increasing emphasis on AI-assisted decision support systems and sustainability policy validation. Teaching & Outreach: Offers Agricultural Economics seminars and Hohenheim Tropics discussions, requiring advance email registration for office hours.
استادیار
Dr. Yiting Xia is a tenure-track faculty member at the Max Planck Institute for Informatics (MPI-INF), leading the Network and Cloud Systems research group. She previously worked as a research scientist at Facebook and holds a PhD in Computer Science from Rice University (2018) and a B.S. in Telecommunications Engineering from Beijing University of Posts and Telecommunications and Queen Mary University of London (2011). Her research focuses on high-performance and energy-efficient networking for cloud computing, including reconfigurable data center networks, optical communications, and network protocols. Notable contributions include innovations in transport protocols, time synchronization for optical networks, and failure-resilient network design. Education: PhD in Computer Science, Rice University, 2018 M.S. in Computer Science, Rice University, 2014 B.S. in Telecommunications Engineering, BUPT & QMUL, 2011 Research Interests: Data center networking, optical communications, cloud systems, network protocols, distributed systems, and network security. Her work bridges theoretical contributions with practical implementations, addressing challenges in latency-sensitive flows, traffic engineering, and system reliability. Awards include the Ken Kennedy-Cray Fellowship and the N2Women Rising Star Award (2021). She has co-lectured courses on distributed systems and data networks at Saarland University and previously contributed to teaching at Rice University. Key projects include Aurora (for MoE inference optimization), Lighthouse (an open research framework for optical networks), and Occam (a reliable network management system). Grants & Projects: Focus on deployable optical network architectures and resilient backbone management during pandemic-driven traffic shifts. Labs/Teams: Leads the Network and Cloud Systems group at MPI-INF, collaborating with academia and industry on cutting-edge networking solutions.
پژوهشگر
Samuel Leder is a doctoral researcher at the Institute of Computational Design and Construction (ICD) under the Cluster of Excellence IntCDC at the University of Stuttgart. His work focuses on the integration of robotics and architectural design, particularly in developing distributed robotic systems for timber construction. He has been actively involved in research projects such as RP 19-1 – Robotic Kinematic System for Parallel Construction and RP 19-2 – Co-Design for Distributed Cooperative Multi-Robot Systems . Additionally, he serves on the Equal Opportunity Commission at ICD. Bachelor of Design in Architecture (summa cum laude), Washington University in St. Louis Bachelor of Applied Science in Systems Science and Engineering (magna cum laude), Washington University in St. Louis MSc in Architecture via the Integrative Technologies and Architectural Design Research (ITECH) program, University of Stuttgart Samuel’s research explores the synergies between agent-based modeling , robotic systems , and architectural design . His work aims to create minimal robotic machines capable of constructing complex spatial assemblies, particularly with timber structures . He investigates the co-design of robots and the structures they build, emphasizing modular systems and kinematic behaviors . Recent publications highlight advancements in digital twins , adaptive assembly , and human-robot collaboration for timber construction. The 15 most recent articles reveal trends in collective robotic construction , agent-based modeling , and material-robot interaction . These works emphasize timber fabrication , modular systems , and interactive simulation for large-scale construction tasks. Key sub-fields include adaptive assembly , cyber-physical systems , kinematic control , and human-guided robotics . Scientific Awards: German Academic Exchange Service (DAAD) Award for Outstanding Achievement Deutschlandstipendium Samuel’s research is conducted within the ICD at University of Stuttgart , where he collaborates on the Wood Building Systems for Distributed Robotics associated project. His work bridges architecture , robotics , and computational design , aiming to redefine on-site construction methodologies through innovative robotic systems.
Prof. Dr. Christian Plessl is a W3 Professor of High-Performance Computing at the Institute of Computer Science, University of Paderborn. He leads the Paderborn Center for Parallel Computing (PC²), a national HPC center within the NHR alliance. His roles include Director of PC², Board Member of the NHR association, and member of the Sonderforschungsbereich 901. Education: PhD (Dr. sc. ETH) in Computer Engineering, ETH Zürich (2006) MSc in Electrical Engineering, ETH Zürich (2001) Postdoc at ETH Zürich (2007–2011) Research Interests: Architecture and tools for high-performance parallel and reconfigurable computing, FPGA acceleration, quantum chemistry, scientific computing, adaptive systems, and energy-efficient HPC solutions. Key projects include EKI-App (FPGA-based neural networks), FPGA4XPCS (X-ray spectroscopy), and HighPerMeshes (unstructured grid frameworks). Publications: Over 100 peer-reviewed works, focusing on FPGA acceleration, HPC frameworks, and quantum computing. Recent trends emphasize energy-efficient neural networks, FPGA-based quantum computing, and scalable HPC algorithms. Awards: Best Paper Awards at HEART 2023, ReConFig 2012/2014 Paderborn University Research Awards (2018, 2009) SEW-EURODRIVE Student Award (2001) Grants & Projects: Principal investigator in DFG, BMBF, and EU-funded projects. Collaborates with AMD/Xilinx, Intel/Altera, and Fujitsu. Leads initiatives like PerficienCC (custom computing) and HighPerMeshes. Labs/Teams: Directs the High-Performance Computing group at PC², focusing on FPGA supercomputing and HPC infrastructure. Active in the NHR alliance for national HPC coordination.
Dr. Farzaneh Derakhshan is an Assistant Professor in the Computer Science Department at Illinois Institute of Technology (Illinois Tech), where she explores logical foundations of concurrency and develops formal methods for program verification. She earned her Ph.D. in Pure and Applied Logic from Carnegie Mellon University in 2021 under Frank Pfenning, followed by a postdoctoral fellowship at CMU with Limin Jia and Stephanie Balzer. Current affiliation: Illinois Tech (since ~2021) Previous affiliation: Carnegie Mellon University (Ph.D. and postdoc) Research focus: Type theory, logical verification, and security for concurrent systems Teaching: Courses on programming languages, type systems, and security Her research addresses fundamental challenges in concurrent programming, including: Developing modal logic frameworks for system verification Designing type systems for intermittent computing Creating behavioral type systems for security guarantees Applying relational logic to GPU security and secure compilation Investigating logical foundations of session-typed processes Formal verification of cyclic process networks Current research trends include: Hybrid dynamic verification for parallel systems Logical approaches to side-channel security Formal methods for cyber-physical systems Crash-resilient computing models Security verification in decentralized applications Noninterference proofs in session-typed concurrency Scientific recognition: NSF SaTC CORE Collaborative Award #2350217 Organizing committee member at Dagstuhl Seminar 26071 Professional leadership: Program committee co-chair for PLACES 2025 Committee roles at LICS 2026, ESOP 2026, ICFP 2025, and ECOOP 2025 Regular reviewer for ACM Transactions journals Laboratory involvement: Co-director of behavioral types research at Illinois Tech Collaboration with Carnegie Mellon's formal verification group Key participant in the FACCT workshop
Steve Zdancewic is the Schlein Family President's Distinguished Professor and Associate Chair in the Department of Computer and Information Science at the University of Pennsylvania's School of Engineering and Applied Science. He is a leading researcher in programming languages, formal methods, and computer security with over two decades of impactful contributions to the field. His research interests span programming languages, type theory, logic, computer security, quantum programming, and formal verification. Zdancewic has made significant contributions to information-flow security, memory safety, program synthesis, and the verification of low-level systems. His work often bridges theoretical foundations with practical applications, particularly through the development of verified systems using Coq and other proof assistants. Analysis of his recent publications reveals a strong focus on formal verification techniques, particularly using Interaction Trees and the Coq proof assistant. His research trajectory shows consistent evolution from foundational work on information-flow security toward increasingly sophisticated verification of complex systems including LLVM, quantum computing, and distributed systems. His work demonstrates a commitment to building practically useful verification tools while maintaining rigorous theoretical foundations. Distinguished Paper Award for Semantics for Noninterference with Interaction Trees (ECOOP 2023) Schlein Family President's Distinguished Professor (2021) Distinguished Paper Award for Interaction Trees (POPL 2020) Christian R. and Mary F. Lindback Foundation Award for Distinguished Teaching (2018) IEEE MICRO top picks (2013) Alfred P. Sloan Fellow (2009-2010) NSF CAREER award (2004) Zdancewic has advised numerous PhD students who have gone on to successful careers in academia and industry. His research has been supported by significant grants from NSF, including the NSF Expedition on the Science of Deep Specification. He is actively involved in multiple major research projects including Vellvm (verified LLVM), DeepSpec, and quantum programming verification. Zdancewic also co-organizes Penn's PL Club programming languages research group with Benjamin Pierce and Stephanie Weirich.
