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 .
Lutz Schubert is a researcher at the Institute of Computer Science , University of Cologne. He focuses on efficient distributed and parallel execution environments for heterogeneous systems, notably the MyThOS operating system in collaboration with Brandenburg University of Technology, Cottbus-Senftenberg. His interdisciplinary work bridges computer science and digital archaeology , addressing modeling of non-deterministic events from sparse excavation data and exploring human behavior constraints in archaeological contexts. Research Interests Design of modular, scalable operating systems for distributed systems Optimization of execution environments for heterogeneous hardware Application of complex systems modeling to digital archaeology Statistical and probabilistic methods for archaeological interpretation Autonomic resource distribution and adaptation in computing Publication Trends : His work spans operating systems , parallel computing , and digital humanities , with recent emphasis on probabilistic reasoning in archaeology and adaptive OS design for multicore architectures. Labs & Collaborations : He collaborates with Brandenburg University of Technology on MyThOS and leads research in computational archaeology as chair of Computer Applications and Quantitative Methods in Archaeology (CAA) , Germany.
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.
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.
Prof. Laura Leal-Taixé is a Professor at the Technical University of Munich (TUM) in the Department of Informatics, leading the Dynamic Vision and Learning group. She holds the Rudolf Mößbauer Tenure Track Assistant Professorship, promoted to W3 Associate Professorship in 2022. Her research focuses on computer vision and machine learning, particularly video analysis, multi-object tracking, and autonomous driving applications. Education: B.Sc./M.Sc. in Telecommunications Engineering (Technical University of Catalonia, UPC) Ph.D. in Information Processing (Leibniz University of Hannover, Germany) Postdoctoral Research at ETH Zürich (Switzerland) and TUM Research Interests: Laura’s work addresses challenges in video analysis, including motion analysis, semantic segmentation, and integrating social dynamics into urban traffic modeling. Her project socialMaps , funded by the Sofja Kovalevskaja Award, explores decoupling vehicle and pedestrian traffic using dynamic maps. Her research combines optimization techniques, deep learning, and sensor data for real-world applications like autonomous systems. Recent Trends: Her publications highlight advancements in multi-object tracking, 3D LiDAR segmentation, and trajectory forecasting, emphasizing neural networks and geometric approaches. Collaborations with industry and academia underscore her work’s practical impact. Awards: 2017 Sofja Kovalevskaja Award (€1.65M, Humboldt Foundation) 2017 DAAD Australia-German Joint Research Grant Travel grants from Women in CV, CVPR Doctoral Consortium, and Vodafone Foundation Labs & Projects: Leads the Dynamic Vision and Learning group at TUM, focusing on vision-based AI for autonomous systems and environmental monitoring. Active in developing datasets like DynamicEarthNet for semantic change analysis.
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.
Prof. Alois Christian Knoll is a full professor at the Technical University of Munich (TUM) in the School of Computation, Information and Technology. His academic career includes roles at Bielefeld University and leadership in major EU initiatives like the Human Brain Project and ECHORD++. He specializes in robotics, AI, and autonomous systems, with a focus on medical robotics, sensor-based systems, and neuromorphic engineering. Knoll has supervised over 100 doctoral theses and authored/co-authored over 1,000 publications. Education: Diploma in Electrical Engineering (University of Stuttgart, 1985); PhD in Computer Science (Technical University of Berlin, 1988); Habilitation (TU Berlin, 1993). He has been at TUM since 2001, leading the Robotics, AI, and Real-Time Systems department. Research interests span autonomous systems, neuro-IT integration, and traffic simulation. Key projects include fortiss (Bavarian State Institute for Computer Science) and TUM-CREATE (Singapore collaboration). Awards include IEEE Fellow, University of Tokyo Fellow, and the Carl-Ramsauer-Prize (1990). Current roles include editorships in robotics journals, leadership in EU flagship projects, and teaching across multiple programs. His work bridges computer science, neuroscience, and engineering, with applications in healthcare, automotive systems, and urban mobility.
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.
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 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.
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 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.
Christopher Morris is a tenure-track Assistant Professor at RWTH Aachen University and a DFG Emmy Noether fellow. He leads the Learning on Graphs (LoG) research group, focusing on machine learning methods for structured data, particularly graph neural networks. His work bridges machine learning, computer science theory, and discrete mathematics, addressing challenges in generalization, expressivity, and algorithmic efficiency. Education: PhD in Computer Science from TU Dortmund University (advised by Petra Mutzel and Kristian Kersting), postdoctoral research at Mila - Quebec AI Institute (Siamak Ravanbakhsh) and McGill University, and Polytechnique Montréal (Andrea Lodi). Research interests emphasize graph machine learning, including generalization theory, combinatorial optimization, and scalable graph embeddings. Notable contributions include analyzing Weisfeiler-Leman algorithms' impact on GNNs' expressivity and generalization (VC dimension connections). Awards: DFG Emmy Noether Fellowship. Supervises six PhD students in Aachen. Active in teaching, offering courses on graph-based machine learning foundations and applications since 2022. Labs/Teams: LoG group at RWTH Aachen, collaborating with institutions like Mila and Polytechnique Montréal. Erdős number 3 through Petra Mutzel’s collaboration network.
Professor Knut Reinert is a leading figure in algorithmic bioinformatics at the Free University of Berlin, where he holds a professorship in the Department of Mathematics and Computer Science. He also maintains a significant affiliation with the Max Planck Institute for Molecular Genetics in Berlin, where he leads the Efficient Algorithms for Omics Data group. His research spans both institutions through the Reinert Lab, which focuses on developing novel computational approaches for biological data analysis. Reinert's educational background includes a Diploma in Computer Science (1994) and a Doctorate (Dr. Ing./Ph.D., 1999, with honors) from the Max-Planck-Institut for Computer Science and Universität des Saarlandes in Saarbrücken. Prior to his professorship, he worked as a computer scientist under Prof. Gene Myers at Celera Genomics in Rockville, USA (1999-2002). His primary research interests center on algorithmic bioinformatics with specific focus on developing novel algorithms and data structures for biomedical mass data analysis. This includes creating mathematical models for genomic sequence analysis and algorithms for mass spectrometry data to detect differential protein expression between normal and diseased samples. His work bridges the gap between computational tool development and practical biological applications, with particular emphasis on NGS and proteomics data. The publications and projects led by Prof. Reinert demonstrate a consistent focus on advancing computational methods in bioinformatics. His research spans genomic sequence analysis, RNA research (particularly long non-coding RNAs), parallel computing applications, and GPU acceleration for biological data processing. The work shows increasing sophistication in handling large-scale biological datasets through innovative algorithmic approaches. Intel® Parallel Computing Center designation for his lab CUDA Research Center status DFG funding of 530 thousand Euros for RNA research de.NBI funding of 2 million Euros BMBF funded projects 'LIVE-DREAM' and 'EssBar' Prof. Reinert leads multiple significant research projects and has established strong collaborations with international partners including Texas A&M, Kings College London, Eberhardt-Karls Universität Tübingen, Robert-Koch-Institute, and various Turkish institutions. His lab receives funding from major organizations including DFG, BMBF, and Intel. The Reinert Lab maintains active teaching responsibilities at FU Berlin, offering courses at BSc, MSc, and PhD levels using both traditional and innovative learning concepts like e-learning and inverted classrooms. The Reinert Lab consists of two interconnected research groups that work closely with experimental biologists and medical researchers to develop practical computational solutions for real-world biological problems. The lab has established itself as a key player in the German and international bioinformatics community through its development of the widely-used SeqAn library and participation in national infrastructure initiatives.
Zeynep Akata is the Liesel Beckmann Distinguished Professor of Computer Science at the Technical University of Munich (TUM) and Director of the Institute for Explainable Machine Learning at Helmholtz Munich. Previously she was a W3 Professor at the University of Tübingen (2019-2023) and held faculty and post-doctoral positions at the University of Amsterdam, UC Berkeley and the Max Planck Institute for Informatics. Her research focuses on multimodal learning and explainable artificial intelligence . Education: PhD, University of Grenoble / INRIA Rhône-Alpes, 2014 MSc, RWTH Aachen University, 2010 BSc, Trakya University, Turkey, 2008 Research Interests: Professor Akata’s group develops algorithms that learn from vision, language and other modalities simultaneously, with a strong emphasis on zero-shot, few-shot and continual learning . A central theme is making decisions interpretable, leading to work on explainable AI, concept bottleneck models, multimodal reasoning and human-aligned representation learning . Recent projects investigate large-scale multimodal language models, dataset distillation, model merging and continual knowledge editing. Publication Trends: Her 2024-2025 publications reveal a shift toward foundational large-scale models (diffusion, LLMs, vision-language transformers) while retaining the core themes of interpretability and generalization under limited supervision . Topics span dataset distillation, model merging, continual learning, fairness auditing of generative models and novel evaluation protocols for zero-shot learning systems. Scientific Awards: Lise-Meitner Award for Excellent Women in Computer Science (2014) Young Scientist Honour, Werner-von-Siemens-Ring Foundation (2019) ERC Starting Grant, European Commission (2019) DAGM German Pattern Recognition Award (2021) ECVA Young Researcher Award (2022) Alfried Krupp Award (2023) Advising & Funding: Prof. Akata currently supervises or co-supervises 25+ PhD students across TUM and the University of Tübingen via ELLIS and IMPRS-IS doctoral programs. She holds major grants including an ERC Starting Grant and DARPA Explainable AI funding, and is a frequent program chair and area chair for premier conferences (CVPR 2024, ECCV 2026, NeurIPS, ICML, etc.). Labs & Teams: She leads the Institute for Explainable Machine Learning at Helmholtz Munich and heads the Multimodal Learning and Explainable AI group at TUM. The institute collaborates closely with the ELLIS Institute Tübingen and Cyber Valley ecosystem, and maintains close ties with the Max Planck Institute for Intelligent Systems and Informatics.
