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

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 .

Claudine Moulinمشاهده پروفایل

استاد

• Historical Linguistics
• Medieval and Early Modern Languages and Literature
• Manuscript and Book Studies
• +۷ مورد دیگر

Prof. Dr. Claudine Moulin is a Full Professor of Historical Linguistics at the Department of German Studies, University of Trier. She co-directs the Trier Center for Digital Humanities and serves as Vertrauensdozentin der Deutschen Forschungsgemeinschaft. With academic roots in Brussels and Bamberg, she completed her PhD in 1990 and Habilitation in 1999 at the University of Bamberg. Her research spans medieval and early modern languages, manuscript studies, digital humanities, and Luxembourgish linguistics. As a leading scholar in historical linguistics, Moulin's work explores urban language history, phraseology, and cultural knowledge transmission through manuscripts. She has directed major digital humanities projects like LexicoLux and Cartul@rium, while pioneering digital codicology methods for medieval texts. Her research combines traditional philology with computational approaches. Her academic accolades include the Akademiepreis Rheinland-Pfalz (2010), Landesverdienstorden (2014), and the Verdienstkreuz am Bande (2025). She has held visiting professorships at Sorbonne, EHESS Paris, and EPHE, and received fellowships from the Humboldt Foundation and European Science Foundation. Notable Academic Roles: Co-founder and Chair of DHd (Digital Humanities in German-speaking countries) Founding member of Trier Center for Language and Communication Member of German Historical Institute Paris scientific board Advisory positions at Austrian Center for Digital Humanities and Herzog August Bibliothek Her editorial leadership includes chief editorship of Sprachwissenschaft journal and co-editorship of Germanistische Bibliothek monograph series. She has mentored over 40 graduate students in topics ranging from medieval marginalia to urban language studies.

Stefan Leuteneggerمشاهده پروفایل

استادیار

• Mobile Robotics
• SLAM (Simultaneous Localization and Mapping)
• Computer Vision
• +۷ مورد دیگر

Prof. Stefan Leutenegger is a tenure-track Assistant Professor at Technische Universität München (TUM), leading the Machine Learning for Robotics group within the TUM School of Computation, Information, and Technology. Previously, he held roles as Senior Lecturer (2018–2021) and Lecturer (2014–2018) at Imperial College London's Dyson Robotics Lab, where he founded the Smart Robotics Lab. He earned his PhD (2014) from ETH Zurich, focusing on autonomous solar-powered aircraft navigation, and holds BSc (2006) and MSc (2009) in Mechanical Engineering from ETH Zurich. His research centers on mobile robotics, particularly enabling robots (e.g., drones) to perceive and navigate complex environments using machine learning and sensor data fusion. Key focus areas include SLAM, event-based vision, 3D reconstruction, and autonomous exploration. He has pioneered algorithms like BRISK (2011), OKVIS (2014), and ElasticFusion (2016), advancing real-time robotics perception. Notable Awards: Imperial College President's Award (2018), Best ECCV Paper (2016), ETH Medal for Dissertations (2015). Labs: TUM's Machine Learning for Robotics Group, Imperial's Smart Robotics Lab. Publications: Over 100 papers, including seminal works in CVPR, ECCV, and Robotics: Science and Systems. Current projects include DigiForests (forest inventory via robotics), aerial additive manufacturing, and object-centric semantic mapping. His work bridges theory and practice, with applications in autonomous drones, construction robotics, and human-robot interaction.

• Machine Learning
• Explainable AI
• Neural Networks
• +۳ مورد دیگر

Jonas Fischer is the head of the Explainable Machine Learning group at the Max Planck Institute for Informatics, Department of Computer Vision and Machine Learning. His research focuses on interpreting complex machine learning models, particularly in genomics and healthcare, aiming to enhance robustness and alignment with human decision-making. Prior to his role at MPI, he was a postdoctoral fellow at Harvard University's Department of Biostatistics, where he worked on interpretable models for gene regulatory systems in cancer. Education: PhD in Computer Science from Saarland University (2022), with a thesis titled More than the sum of its parts , exploring the intersection of pattern mining and deep learning. He has contributed to advancing methods in neural network pruning, federated learning, and low-dimensional embeddings (e.g., dtSNE, Mercat). His work bridges computational biology, data mining, and machine learning, with applications in DNA methylation analysis, graph-based differential networks, and biomedical informatics. Key research areas include: (1) Explainable AI and neural network interpretability, (2) Biomedical applications of machine learning (e.g., gene regulatory networks, cancer genomics), (3) Low-dimensional embeddings and visualization techniques, (4) Federated learning for privacy-preserving collaborative models, and (5) Pattern mining for error analysis in NLP and classification tasks. Publications span top venues like NeurIPS, ICLR, Bioinformatics, and Genome Biology. His group develops tools such as BONOBO for omics data integration and node2vec2rank for scalable graph analysis. He actively collaborates with biomedical researchers to address challenges in data-driven healthcare and precision medicine.

Adam Runionsمشاهده پروفایل

پژوهشگر

• Computational Modeling
• Developmental Biology
• Computer Science
• +۴ مورد دیگر

Adam Runions is a researcher in the Department of Computer Science at the University of Calgary, leading the MPG Partner Group in computational analysis of leaf development through collaborative work with Miltos Tsiantis. His group is embedded in the Graphics Cluster, focusing on interdisciplinary problems at the intersection of computer science and developmental biology. University of Calgary - Department of Computer Science MPG Partner Group (2022) Graphics Cluster affiliation His research explores computational modeling and analysis of plant form and development across multiple scales, integrating geometric modeling, physically-based simulation, and computer-aided design. Key themes include plant morphogenesis, self-organization of natural forms, and cross-disciplinary applications in computer graphics and animation. Recent publications emphasize plant development (leaf shape, bark patterning), mathematical modeling (auxin-driven patterning), and geometric techniques (subdivision surfaces, PUPs). Collaborations span institutions like the Max Planck Institute for Plant Breeding Research. Scientific Awards Marie Sklodowska-Curie Fellowship Best Paper Award (International Conference on Cyberworlds 2015) Best Student Paper Award (Computer Graphics International 2011) The group actively recruits BSc, MSc, and PhD students with backgrounds in computer science and mathematics for projects on plant form simulation and digital content creation. Research integrates evolutionary biology, biomechanical modeling, and computational techniques.

Paul Gölzمشاهده پروفایل

استادیار

• Social Choice Theory
• Algorithmic Fairness
• AI Ethics
• +۳ مورد دیگر

Paul Gölz is an Assistant Professor at Cornell University's School of Operations Research and Information Engineering (ORIE), with affiliations in Computer Science. His research focuses on computational social choice, algorithmic fairness, and AI ethics, addressing topics like democratic innovation, fair resource allocation, and AI systems for diverse users. Education: Undergraduate studies at Saarland University (Germany), PhD in Computer Science from Carnegie Mellon University, followed by postdoctoral research at Harvard University, UC Berkeley, and the Simons Laufer Mathematical Sciences Institute. His work has been recognized with awards including the JPMorgan Chase AI Research Fellowship (2021) and honorable mentions for prestigious dissertation awards (Dantzig and ACM SIGecom). Research Highlights : Developed Panelot, a tool for selecting citizens' assemblies using state-of-the-art algorithms. His work on fair refugee resettlement and apportionment methods has been featured in Operations Research and Nature . Recent projects include AI alignment distortion analysis and generative social choice mechanisms. Teaching : Teaches Optimized Democracy (Spring 2025) and Mathematical Programming (Fall 2024). Supervises PhD students in ORIE, focusing on interdisciplinary applications of optimization and social choice. Awards & Grants : Received a $40K Structural Democracy Fellowship (Crankstart) and an OpenAI grant for Democratic Inputs to AI. Active in policy briefs (e.g., mini-public selection strategies). Labs/Tools : Co-developed Panelot.org , a nonprofit platform for fair citizen assembly selection. Active in open-source tool development for social choice applications.

Celestine Mendler-Dünnerمشاهده پروفایل

استاد

• Machine Learning in Social Context
• Algorithmic Collective Action
• Performative Prediction
• +۶ مورد دیگر

Celestine Mendler-Dünner is a Principal Investigator at the ELLIS Institute in Tübingen, co-affiliated with the Max Planck Institute for Intelligent Systems and the Tübingen AI Center. She leads the Algorithms and Society research group, focusing on machine learning in social contexts and the role of prediction in digital economies. Her work bridges theoretical machine learning with practical societal impact, developing tools for safe, reliable, and equitable AI ecosystems. Her educational background includes a PhD from ETH Zurich in collaboration with IBM Research, followed by an SNSF postdoctoral fellowship at UC Berkeley hosted by Moritz Hardt. She was previously a group leader at the Max Planck Institute for Intelligent Systems before joining the ELLIS Institute. Mendler-Dünner's research spans several interconnected themes including performative prediction (where predictions change the behavior they aim to predict), algorithmic collective action (how participants can steer AI systems toward common goals), and the role of LLMs in social science research. Her work combines theoretical foundations with practical implementations, addressing challenges in interactive machine learning, optimization in dynamic environments, and context-specific evaluation of AI systems. She particularly examines how algorithmic predictions mediate services and platforms at societal scale, exploring concepts of economic power in digital markets. Her publication record shows a clear evolution from system-aware machine learning algorithms (including foundational work on IBM Snap ML) toward increasingly sociotechnical questions at the intersection of machine learning, economics, and policy. Recent work focuses on measuring performative power in digital economies, evaluating LLMs as risk scores, and developing frameworks for algorithmic collective action in recommender systems and labor markets. Among her notable recognitions are the ETH Medal for her dissertation, the IBM Research Division Award, the Fritz Kutter Award, and the IBM Eminence and Excellence Award. She is an ELLIS Scholar, a fellow of the Elisabeth-Schiemann-Kolleg, and affiliated with several prestigious research programs including the International Max Planck Research School for Intelligent Systems and the Max Planck ETH Center for Learning Systems. ETH Medal (dissertation award) IBM Research Division Award Fritz Kutter Award IBM Eminence and Excellence Award SNSF Early Postdoc Mobility Fellowship Mendler-Dünner actively mentors the next generation of researchers, advising PhD student Patrik Wolf and supervising research interns including Joachim Baumann, Haiqing Zhu, and Anna Badalyan, as well as Master's student Dorothee Sigg. She serves as core faculty for the International Max Planck Research School and associated faculty for the Max Planck ETH Center for Learning Systems. Her group has secured significant research funding through fellowships and institutional support, enabling work on projects like Powermeter (measuring search engine influence) and Snap ML (resource-efficient machine learning library with over 1 million PyPI downloads). She leads the Algorithms and Society research group, which examines machine learning as part of broader sociotechnical ecosystems. The group explores human-population interactions with algorithmic systems and incorporates these insights into learning system fundamentals. Current projects include investigating economic incentives in digital platforms, developing tools for systematic LLM evaluation in social science contexts, and creating frameworks for collective action in algorithmic systems. Mendler-Dünner also co-organizes the Algorithmic Collective Action workshop at NeurIPS 2025, demonstrating her leadership in emerging research directions at the AI-society interface.

Jeffrey F. Brockمشاهده پروفایل

استاد

• Low-dimensional geometry
• Hyperbolic geometry
• Topology
• +۳ مورد دیگر

Jeffrey F. Brock is the Dean of the School of Engineering & Applied Science and the William S. Massey Professor of Mathematics at Yale University. He holds the Zhao and Ji Chair in Mathematics. His research focuses on low-dimensional geometry and topology, particularly hyperbolic geometry and its applications to data analysis. He completed his undergraduate studies at Yale and earned his Ph.D. from UC Berkeley. He held positions at Stanford, the University of Chicago, and Brown University, where he chaired the Mathematics Department from 2013 to 2017 and founded Brown’s Data Science Initiative in 2016. He joined Yale in 2018, serving as inaugural Dean of Science in the Faculty of Arts and Sciences until assuming his current role in 2022. He is a Guggenheim Fellow and Fellow of the American Mathematical Society. His research spans hyperbolic 3-manifolds, Teichmüller dynamics, and geometric methods in data science. Notable contributions include work on Thurston’s geometrization program, classification of hyperbolic manifolds, and applications of geometric topology to complex datasets. He co-authored foundational papers on ending laminations, Weil-Petersson geometry, and renormalized volume. His recent work bridges pure mathematics with applied challenges, such as algorithmic detection of medical imaging patterns. Awarded the Guggenheim Fellowship (2008) and AMS Fellow (2017), Brock has also led interdisciplinary initiatives at Brown and Yale. His administrative roles include overseeing engineering, natural sciences, and data science programs. Beyond academia, he co-founded the Vijay Iyer Trio, showcasing his passion for music performance and creativity.

Xiaowei Jiaمشاهده پروفایل

استادیار

• Machine Learning
• Data Mining
• Physics-Guided Neural Networks
• +۵ مورد دیگر

Xiaowei Jia is an Assistant Professor in the Department of Computer Science at the University of Pittsburgh. He holds a Ph.D. from the University of Minnesota (supervised by Prof. Vipin Kumar) and B.S./M.S. degrees from the University of Science and Technology of China (USTC) and SUNY Buffalo. His research focuses on integrating scientific theory with machine learning to address societal and environmental challenges, such as climate modeling, hydrology, and fairness in AI. Education: Ph.D., University of Minnesota (2020) M.S., State University of New York at Buffalo B.S., University of Science and Technology of China (USTC) Research Interests: Knowledge-Guided Machine Learning Spatiotemporal Data Mining Fairness in AI for Social Good Applications in Environmental Science and Healthcare Publications showcase his work on physics-integrated neural networks, spatiotemporal modeling (e.g., water temperature prediction), and fairness-aware algorithms. His work has been recognized with Best Paper awards at SIAM SDM (2022, 2023). Awards include the Best Applied Data Science Paper Award at SIAM SDM in 2022 and 2023. He teaches advanced machine learning courses, emphasizing theory integration with real-world applications.

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.

Bernhard J. Bergerمشاهده پروفایل

مدرس

• Software Security
• Static Code Analysis
• Machine Learning
• +۴ مورد دیگر

Bernhard J. Berger is a Lecturer in the Department of Computer Engineering at the Institute of Embedded Systems, Hamburg University of Technology (TUHH). His research focuses on software security, static code analysis, machine learning, optimization, and research data management. He has held significant roles such as Program Committee member for ICPC 2025 and MSR 2025, and has received awards including the Best Reviewer Award (ICPC 2023) and Best Engineering Paper Award (SCAM 2019). His work spans interdisciplinary applications including maritime systems security, GPU-accelerated AI, and evolutionary algorithms. Recent studies emphasize AI-driven security tools (e.g., ML-SAST) and domain-specific language approaches to optimization (EvoAl). He has contributed to over 30 peer-reviewed publications, with notable work in IEEE Transactions on Software Engineering and Science of Computer Programming. Berger collaborates closely with industry through DAAD review committees and serves on artifact evaluation boards for ISSTA and ARES conferences. Education: Doctoral Thesis (2022), Diploma in Computer Science (2007) Key Projects: ArchSec tool suite, Threat Modeling Frameworks, Bauhaus static analysis methodology Lab Affiliation: Embedded Systems Design Group His advisory roles include Deputy of TUHH's Election Verification Committee and Session Chair at IEEE Congress on Evolutionary Computation 2023. Current research trends integrate machine learning with static analysis for automated vulnerability detection, while also exploring explainable AI techniques for neural network optimization.

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.

• Market Design
• Mechanism Design
• Game Theory
• +۴ مورد دیگر

Marek Pycia serves as Professor of Organizational Economics at the University of Zurich and Co-Director of the Zurich Center for Market Design. His research has driven tangible policy impacts including the U.S. kidney-transplant voucher program and school system redesigns, with publications in premier journals like American Economic Review and Econometrica . His academic foundation includes a Ph.D. in Economics from the Massachusetts Institute of Technology (MIT), complemented by prior faculty roles at UCLA, Pennsylvania State University, and Leon Koźmiński Academy of Entrepreneurship and Management, plus a visiting fellowship at Princeton University. Professor Pycia specializes in Market Design and Mechanism Design , where he bridges theoretical microeconomics with real-world applications in healthcare allocation and educational systems. His work emphasizes strategyproofness , simplicity , and efficiency in matching markets, influencing both academic frameworks and practical policy implementations globally. Recent publications (2024-2025) reveal a concentrated focus on simplifying mechanism design for discrete environments, advancing double auction theory, and optimizing information structures in trade. These works consistently apply game-theoretic principles to solve complex allocation problems across healthcare, education, and financial markets. Key recognition includes: Research Fellow at the Centre for Economic Policy Research (CEPR) Editorial board membership at Theoretical Economics , Journal of Economic Theory , and Games and Economic Behavior While specific grant details remain unmentioned, his editorial leadership and center directorship indicate active research funding. He supervises graduate work through the University of Zurich’s economics programs, though no named students appear in the source text. The Zurich Center for Market Design, which he co-directs, functions as an interdisciplinary hub connecting theoretical research with practitioners in healthcare, education, and public policy to implement novel market mechanisms.

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.