جست‌وجوی استاد و پژوهشگر

Michael Carbinمشاهده پروفایل

استادیار

• Programming Systems
• Approximate Computing
• Probabilistic Programming
• +۴ مورد دیگر

Michael Carbin is the Jamieson Career Development Assistant Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) and leads the MIT Programming Systems Group. His research focuses on programming systems that address system uncertainty to enhance performance, energy efficiency, and resilience, particularly in environments involving neural networks , approximate computing , and unreliable hardware . His work spans probabilistic programming , quantum computing , and machine learning systems . Articles highlight contributions in pruning neural networks , quantum data structures , and compiler optimization , reflecting trends in deep learning , formal verification , and language-driven systems . Scientific Awards : MIT Frank E. Perkins Award (2020) Sloan Research Fellowship (2020) Facebook Research Award (2019) NSF CAREER Award (2018) Best Paper Awards at OOPSLA (2013, 2014) He has advised numerous graduate students and postdocs including Eric Atkinson, Cambridge Yang, and Charles Yuan, and served on program committees for conferences like POPL, OOPSLA, and ICLR. His group collaborates with institutions such as MIT CSAIL and explores applications in quantum algorithms and probabilistic inference .

Nils Fleischhackerمشاهده پروفایل

استادیار

• Cryptography
• Theoretical Computer Science
• Zero-Knowledge Proofs
• +۵ مورد دیگر

Nils Fleischhacker is an Assistant Professor for Cryptography at Ruhr University Bochum, where he leads the Theoretical Cryptography group within the Faculty of Computer Science. His research focuses on foundational aspects of cryptography with particular emphasis on zero-knowledge proofs, digital signatures, and secure computation. Prior to joining Ruhr University, he held postdoctoral positions at Johns Hopkins University and Carnegie Mellon University. Dr. Fleischhacker received his PhD in Computer Science from Saarland University in February 2017, advised by Dominique Schröder. During his doctoral studies, he was a research intern at Microsoft Research with Chris Brzuska and a research visitor at the University of Maryland, College Park with Jonathan Katz and Dana Dachman-Soled. His research spans theoretical cryptography with significant contributions to zero-knowledge proofs, multi-signature schemes, property-preserving hash functions, and security proofs for cryptographic primitives. Fleischhacker's work often addresses fundamental questions about the limits and possibilities of cryptographic constructions, with particular attention to black-box separations and lower bounds. His recent publications demonstrate a strong focus on lattice-based cryptography and post-quantum secure protocols. Fleischhacker's publications over the past five years reveal a consistent research trajectory focused on improving the efficiency and security of cryptographic primitives, with particular emphasis on signature schemes, zero-knowledge protocols, and secure computation frameworks. His work frequently appears in top-tier cryptography venues including CRYPTO, EUROCRYPT, and CCS. Dr. Fleischhacker actively mentors PhD students, with numerous successful graduations spanning from 2010 to 2024. His former PhD students include Önder Askin (2024), Floyd Zweydinger (2023), and Lars Schlieper (2022), among others. His research is supported through various academic channels and collaborations. He is affiliated with several prominent research organizations including the Horst Görtz Institute (HGI) for Information Security, the DFG Excellence Cluster CASA, the EU Marie Curie Network QSI, and the International Association for Cryptologic Research (IACR). These affiliations provide a strong institutional framework for his theoretical cryptography research.

Nikolaus A. Adamsمشاهده پروفایل

استاد

• Aerodynamics
• Fluid Mechanics
• Numerical Methods
• +۵ مورد دیگر

Prof. Dr. Nikolaus A. Adams is a full professor and Chair of Aerodynamics and Fluid Mechanics at the Technical University of Munich (TUM), affiliated with the TUM School of Engineering and Design. Born in 1963, he holds a doctorate from TUM (1993) and habilitation from ETH Zurich (1999). His research focuses on numerical methods, turbulent flows, microfluidics, and multiphase systems. He has held leadership roles, including Dean of the Faculty of Mechanical Engineering since 2023 and Vice Dean (2015–2016). Education: PhD from TUM (1993), habilitation from ETH Zurich (1999) Research interests include aerodynamics, fluid-structure interaction, and numerical techniques for compressible flows. His work spans high-speed aerodynamics and computational fluid dynamics (CFD). Awards include ERC Advanced Grants (GENUFASD 2023, NANOSHOCK 2015), the Gordon Bell Prize (2013), and Fellow of the American Physical Society (2011). Grants and leadership: Spokesperson of DFG SFB/TRR 40 (2008–2020), co-author of 'Large-Eddy Simulation for Compressible Flows' (2009), and editorial roles in J. Comput. Phys.

Ashley Montanaroمشاهده پروفایل

استاد

• Quantum Computation
• Quantum Algorithms
• Quantum Information Theory
• +۳ مورد دیگر

Ashley Montanaro is Professor of Quantum Computation in the School of Mathematics at the University of Bristol, and co-founder of the quantum software startup Phasecraft. He is a member of the Quantum Information Theory research group at Bristol. His research focuses on the theory of quantum computing, with particular interest in quantum algorithms, computational complexity, quantum query and communication complexity, and classical algorithms. His work spans both theoretical foundations and practical applications of quantum computing. Montanaro's research output shows significant trends toward quantum algorithms for optimization problems, quantum computational supremacy, and bridging theoretical advances with practical implementation challenges. His publications span foundational quantum information theory to applied quantum algorithms, demonstrating a versatile research program that connects computer science with quantum physics. Among his professional activities, Montanaro served on the QIP steering committee (2016-2018) and was an editor for the Quantum journal until 2019. He has been active in conference organization, serving on program committees for ITCS 2018, AQIS 2017 and 2015, QIP 2015, and TQC 2014 and 2013, reflecting his standing in the quantum computing research community. He has supervised numerous PhD students including Josh Blake, Jorja Kirk, Sheila Perez Garcia, Sami Boulebnane, Jan Lukas Bosse, Lana Mineh, Joao F. Doriguello, Chris Cade, Sam Pallister, and Stephen Piddock. His teaching includes Quantum Computation (MATHM0023) which he has taught since 2014 and Advanced Quantum Information Theory which he taught in 2015 and 2016. As co-founder of Phasecraft, Montanaro is actively translating theoretical quantum computing advances into practical software solutions, positioning him at the intersection of academic research and quantum technology commercialization.

Jan von Delftمشاهده پروفایل

استاد

• Correlated electron systems
• Quantum impurity models
• Quantum criticality
• +۷ مورد دیگر

Jan von Delft is a Professor (chair) at Ludwig-Maximilians-University (LMU) Munich, working in the Faculty of Physics within the Chair of Theoretical Solid State Physics. His research group consists of postdocs, PhD students, and master's students working on various aspects of strongly correlated electron systems, with physical space located at Theresienstr. 37 (Room A420) in Munich. von Delft's research focuses on correlated electron and spin systems, with particular interest in dynamical and transport properties, quantum impurity models, Hund metals, unconventional superconductors, quantum magnets, and quantum criticality. His methodological expertise includes many-body field theory, parquet formalism (FRG), DMFT, and tensor networks (NRG, DMRG, PEPS, XTRG, etc.). His work bridges theoretical concepts with computational approaches to understand complex quantum phenomena in condensed matter systems. He has developed a distinctive emphasis on real-frequency calculations and numerical methods for studying quantum critical phenomena. Analysis of von Delft's recent publications reveals a strong focus on developing and applying advanced computational methods to study strongly correlated electron systems. His group has made significant contributions to numerical renormalization group techniques, tensor network methods, and the parquet formalism for calculating real-frequency correlation functions. His research shows increasing sophistication in handling quantum criticality, particularly in heavy-fermion systems, and exploring unconventional superconductivity mechanisms. Notably, his group has developed specialized computational libraries like KeldyshQFT to make these advanced methods more accessible to the broader physics community. von Delft actively mentors a substantial research group consisting of one postdoc (Markus Scheb), eleven PhD students (Anxiang Ge, Sasha Kovalska, Mathias Pelz, Marc Ritter, Nepomuk Ritz, Changkai Zhang, Markus Frankenbacher, Felipe Picoli, Simone Fodera, Ming Huang), and two master's students (Ester Pages, Gianluca Grosso). His detailed Style Guide for scientific communication demonstrates his commitment to high-quality research presentation. The group appears well-funded with ongoing research activities spanning theoretical development, computational implementation, and physical interpretation of complex quantum phenomena.

Alessandro Golkarمشاهده پروفایل

استاد

• Space Systems Engineering
• CubeSat and Nanosatellite Technology
• Satellite Constellations
• +۵ مورد دیگر

Prof. Alessandro Golkar is a Professor at the Technical University of Munich (TUM), leading the Chair of Picosatellites, Nanosatellites, and Satellite Constellations. He joined TUM in September 2022 and previously served as one of the founding faculty members at Skoltech, a Moscow-based graduate research university. His research focuses on advanced space mission concepts, systems engineering for picosatellites, and federated satellite systems. Prior to academia, he held roles at Airbus CTO, contributing to technology roadmapping and planning. His academic background includes expertise in aerospace engineering, systems design, and agile development methodologies for space hardware. Key research areas include CubeSat constellations, distributed satellite systems, and the integration of AI tools like Large Language Models (LLMs) into spacecraft design processes. He has pioneered projects such as the FSSCat mission, winner of the ESA Sentinel Small Satellite Challenge, and has explored applications of additive manufacturing for lunar missions. Prof. Golkar’s awards include the 2021 Karman Fellowship and IEEE Senior Membership (2018). His recent work emphasizes optimizing satellite networks, digital twin implementation, and orbital maneuvering for collision avoidance. He actively contributes to technology roadmapping, focusing on future human landing systems and lunar infrastructure development. Education: Ph.D. in Aerospace Engineering (details not explicitly stated). Grants & Funding: Extensive grants for CubeSat projects, federated systems research, and space technology innovation. Labs/Teams: Leads the Chair’s research group at TUM and collaborates with industry partners like Airbus on advanced mission concepts. His publications span over two decades, addressing topics like constellation design, machine learning in space, and agile processes for hardware development. He advocates for hybrid agile methodologies to bridge traditional systems engineering and modern product development.

Nadia Polikarpovaمشاهده پروفایل

دانشیار

• Program Synthesis
• Program Verification
• Type Systems
• +۵ مورد دیگر

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

Xiaoxiang Zhuمشاهده پروفایل

استاد

• Remote sensing and Earth observation
• Signal processing
• Artificial intelligence and machine learning
• +۳ مورد دیگر

Xiaoxiang Zhu is a Professor for Data Science in Earth Observation at the Technical University of Munich (TUM) and serves as the Director of the International AI Future Lab - AI4EO. She is also on the Board of Directors of the Munich Data Science Institute (MDSI) and has held various leadership positions in research institutions including as Spokesperson for Helmholtz AI Research Field "Aeronautics, Space and Transport" (MASTr). Her educational background includes a doctorate (Dr.-Ing.) and habilitation from TUM. She has held positions as Private Dozent at TUM (2013-2015), TUM Junior Fellow (2013-2015), and Research Group Leader for "SparsEO" at Munich Aerospace (2011-2016). Professor Zhu's research focuses on the intersection of remote sensing, artificial intelligence, and data science. Her work primarily addresses global urban mapping, sustainable development goals, and climate change monitoring through Earth observation technologies. She develops advanced signal processing techniques and machine learning algorithms specifically tailored for satellite imagery and geospatial data analysis. Her research has significant applications in urban planning, environmental monitoring, and disaster management. Her team has pioneered approaches that combine synthetic aperture radar (SAR) with deep learning for improved Earth observation capabilities. Professor Zhu has received numerous prestigious awards including being named an IEEE Fellow (2021), receiving the Geodesy Award of the Nico Rüpke Foundation (2020), and being awarded an ERC Proof of Concept Grant (2020, 2022). She is also a Fellow of the Academia Europaea (2024) and AAIA Fellow (2024). Her publication record includes highly cited works such as "Deep Learning in Remote Sensing: A Comprehensive Review and List of Resources" (2017). She leads a substantial research team comprising numerous PhD students and postdoctoral researchers working on various projects including Horizon Europe - ThinkingEarth, EarthCare, and AI4TWINNING. Her research group, the Chair of Data Science in Earth Observation, is actively involved in multiple large-scale European and German research initiatives focused on Earth observation and AI applications.

Yin Tat Leeمشاهده پروفایل

دانشیار

• Convex Optimization
• Convex Geometry
• Graph Algorithms
• +۲ مورد دیگر

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.

• Recommender Systems
• Machine Learning
• Natural Language Processing
• +۴ مورد دیگر

Julian McAuley is a Professor in the Department of Computer Science and Engineering at the University of California, San Diego's Jacobs School of Engineering. His research spans recommender systems, machine learning, natural language processing, music information retrieval, and multimodal learning. He maintains an active research group with numerous PhD students and postdocs working on cutting-edge AI problems. His research interests focus on developing advanced algorithms for personalized recommendation systems, with particular emphasis on sequential recommendation, multimodal learning, and integrating large language models with traditional recommendation approaches. His work bridges the gap between theoretical machine learning and practical applications across multiple domains including e-commerce, music, and healthcare. McAuley has published extensively in top-tier conferences including NeurIPS, ICML, KDD, SIGIR, and ACL, with his most recent work exploring the intersection of large language models and recommendation systems. His publications reveal a strong trend toward multimodal approaches that combine text, vision, and audio for more comprehensive understanding and recommendation. He has received significant research funding from major technology companies including Google, Amazon, Facebook, Adobe, and Samsung, as well as government agencies like the National Science Foundation and Department of Defense. His work has practical applications across multiple industries, with a focus on improving user experience through better personalization. McAuley advises numerous PhD students who have gone on to successful careers at leading technology companies and academic institutions. His former students include Wang-Cheng Kang and Jianmo Ni at Google DeepMind, Chris Donahue and Zachary Lipton as assistant professors at CMU, and Ruining He at Google Deepmind.

Frank Pollmannمشاهده پروفایل

استاد

• Condensed Matter Theory
• Quantum Information Theory
• Correlated Electrons
• +۶ مورد دیگر

Prof. Dr. Frank Pollmann is a Full Professor (W3) at the Department of Physics PH-I, Technical University of Munich (TUM), leading the Chair of Theoretical Solid-State Physics since 2022. His research focuses on condensed matter theory and quantum information concepts , particularly in systems of correlated electrons and quantum many-body dynamics . PhD: Max Planck Institute for the Physics of Complex Systems / TU Ilmenau (2006) Postdoc: UC Berkeley (2008-2010) Group Leader: MPIPKS Dresden (2011-2016) Associate Professor: TUM (2017-2022) His work spans topological phases , frustrated spin systems , and non-equilibrium quantum dynamics , utilizing tensor network methods and quantum information theory to study phenomena like many-body localization and Hilbert space fragmentation . His publications demonstrate trends in quantum scar states , Kardar-Parisi-Zhang hydrodynamics , and quantum transport anomalies . Scientific Awards : ERC Consolidator Grant (2017) Walter Schottky Prize (2015) Otto-Hahn Medal (2007) He teaches courses including Advanced Methods in Quantum Many-Body Theory , Solid State Theory , and Topology in Condensed Matter , while leading the Pollmann Group under the TUM School of Natural Sciences.

• Embedded Machine Learning
• High-Performance Computing
• Computer Architecture
• +۶ مورد دیگر

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.

Matthias Feurerمشاهده پروفایل

استاد

• Automated Machine Learning
• Hyperparameter Optimization
• Bayesian Optimization
• +۵ مورد دیگر

Matthias Feurer is a Thomas Bayes Fellow and interim professor at the Chair of Statistical Learning and Data Science, funded by the Munich Center for Machine Learning (MCML) at Ludwig Maximilian University of Munich. He is a member of the Department of Statistics at LMU Munich, working under Prof. Dr. Bernd Bischl. His academic background includes: PhD in Computer Science from Albert-Ludwigs-Universität Freiburg, supervised by Prof. Dr. Frank Hutter M.Sc. in Computer Science from the University of Freiburg B.Sc. in Computer Science and Media from the Media University Stuttgart Feurer's research focuses on simplifying machine learning usage through Automated Machine Learning (AutoML). His work encompasses hyperparameter optimization, meta-learning, and model selection, with increasing emphasis on multi-objective AutoML that considers factors beyond predictive performance such as interpretability, deployability, and fairness. He actively develops open-source tools to advance the field. His recent publications demonstrate a strong trajectory in practical AutoML systems, with growing attention to tabular machine learning, foundation models integration, and addressing real-world constraints in optimization. His work consistently bridges theoretical advances with practical implementations through several widely-used open-source projects. Notable achievements include: 1st place in the warmstarting-friendly leaderboard of the BBO NeurIPS challenge Winner of the 2nd AutoML challenge Winner of the kdnuggets blog contest on AutoML Feurer is actively mentoring and teaching, having advertised PhD positions focused on AutoML, optimization, and benchmarking. He co-founded the Open Machine Learning Foundation supporting OpenML.org. His upcoming move to TU Dortmund as an assistant professor in AutoML and Optimization signals continued growth in his academic career while maintaining his research focus on making machine learning more accessible and rigorous.

Xiaoxiao Longمشاهده پروفایل

دانشیار

• Computer Graphics
• 3D Computer Vision
• 3D Vision
• +۴ مورد دیگر

Xiaoxiao Long is a Tenure-Track Associate Professor at the School of Intelligence Science and Technology, Nanjing University. He joined NJU as an associate professor in February 2024. Previously, he earned his Ph.D. from the University of Hong Kong (HKU) under the supervision of Prof. Wenping Wang (IEEE & ACM Fellow) and Prof. Taku Komura. His educational background includes: Ph.D. in Computer Science from University of Hong Kong Bachelor's degree in Control Science & Engineering from Zhejiang University Dr. Long's research focuses on computer graphics and 3D computer vision, with particular emphasis on 3D Vision, Physical AI, and World Models. His long-term goal is to develop General-Purpose AI with spatial capabilities. His work bridges theoretical understanding of 3D spaces with practical implementations of spatial AI systems, with applications spanning robotics, virtual reality, and augmented environments. He employs innovative neural network approaches and geometric constraints to advance 3D scene understanding and reconstruction. His publication record shows strong momentum with multiple papers accepted to top-tier conferences including CVPR (5 papers in 2025 alone), ICML, ICLR, ECCV, and TPAMI. His research demonstrates a clear progression from foundational geometric estimation techniques (ASN++) toward more comprehensive spatial AI systems. His scientific recognition includes: Excellent Young Scholars Fund (Overseas) from NSFC Dr. Long has successfully mentored numerous students who have published at major venues and gone on to pursue advanced degrees at prestigious institutions including USTC, Beihang University, HKU, UCAS, Virginia Tech, and HKUST. He is currently recruiting Ph.D. and master's students for Fall 2026, seeking candidates interested in pushing the boundaries of 3D computer vision and spatial AI. His laboratory focuses on developing advanced techniques for 3D scene understanding, neural rendering, and physical AI. Current projects span Gaussian-based representations, neural radiance fields, and geometric estimation, with applications in robotics, virtual environments, and spatial reasoning systems.

• Secure Decentralized Systems
• Blockchain Technology
• Systems Security
• +۳ مورد دیگر

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.