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 .
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.
Prof. Stefan Müller is a Professor at the Institute for German Language and Linguistics , part of the Faculty of Languages and Literature at Humboldt University. His research focuses on syntax, formal grammar theories (especially Head-Driven Phrase Structure Grammar), and computational linguistics. He leads the CoreGram Project , developing cross-linguistic grammars using HPSG formalisms. His work includes analyses of German syntax, constituent order, anaphoric binding, and register phenomena. He is also involved in open-access publishing initiatives through Language Science Press . Contact: St.Mueller@hu-berlin.de . Education and academic background details are not explicitly stated in the provided text, but his professional trajectory indicates deep expertise in theoretical linguistics. His research spans multiple languages including German, Mandarin, and Persian, with a focus on grammar implementation and syntax-semantics interfaces. Key contributions include the Head-Driven Phrase Structure Grammar Handbook (2024), analyses of headless nominal structures in German (2022), and exploration of large language models' theoretical implications (2024). He actively engages in interdisciplinary projects bridging formal grammar and computational methods.
Max Planck Institute for Intelligent SystemsGermany
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.
Magdalena Lang is a Lecturer at the University of Regensburg’s Faculty of Mathematics, specifically affiliated with the Chair of Mathematics Education since 2024. She serves as a supervising teacher for trainee teachers and an internship teacher for students. Her work focuses on pedagogical strategies for teaching mathematics, including how mathematical concepts are internalized and structured in lessons. Education: Studied primary school teaching at the University of Regensburg (1st State Examination, 2016). Professional Timeline: Completed preparatory service (referendariat) in Straubing (2019–2021), taught at Aschheim and Beilngries Primary Schools (2019–2024), and now supports teacher training and curriculum development in mathematics. Her research emphasizes optimizing lesson structures to enhance mathematical learning, particularly in addressing cultural and cognitive challenges faced by students. She is actively involved in cross-departmental initiatives at the University of Regensburg, including collaborations with the Center for Language and Communication (ZSK) to develop academic skills in international students.
Matthias Hein is a Professor at the Department of Computer Science, Faculty of Mathematics and Natural Sciences, University of Tübingen. His research focuses on Machine Learning , Adversarial Robustness , and Out-of-Distribution Detection , with applications in computer vision and medical imaging. He has received notable recognition including the Best Paper Honorable Mention Prize at ICLR 2021 and Outstanding Paper Award at CVPR 2021. His work includes developing benchmarks like RobustBench and Spurious ImageNet , and frameworks such as Sparse-RS and DIG-IN . His recent publications emphasize adversarial robustness across multiple domains (vision, text), counterfactual explanations for classifiers, and improved OOD detection methods . Collaborators include prominent researchers like Francesco Croce, Julian Bitterwolf, and Alexander Meinke. Scientific Awards : Best Paper Honorable Mention (ICLR 2021) CVPR 2021 Outstanding Paper Award Key Research Areas : Adversarial Robustness Vision-Language Models Medical Imaging AI Neural Network Calibration
Schloss Dagstuhl - Leibniz Center for InformaticsGermany
Florian Tramèr is an Assistant Professor in the Department of Computer Science at ETH Zurich, Switzerland, leading research at the intersection of machine learning security, privacy, and AI safety. His work focuses on identifying and mitigating security vulnerabilities in machine learning systems, particularly in large language models and other AI systems. Tramèr's primary research interests include adversarial machine learning, membership inference attacks, privacy-preserving AI, and the security implications of large language models. His work has significantly advanced our understanding of how machine learning models memorize training data, how this memorization creates privacy risks, and how to evaluate the robustness of machine learning systems against various attacks. His recent publications demonstrate a strong focus on practical security challenges in deployed AI systems, including data extraction from language models, adversarial attacks against generative AI, and developing more rigorous evaluation methodologies for machine learning security. Tramèr's research has been published in top venues including ICLR, NeurIPS, ICML, and IEEE Security & Privacy. Tramèr is actively collaborating with leading researchers in the field including Nicholas Carlini, Matthew Jagielski, and Javier Rando, contributing to important initiatives like the International AI Safety Report. His work bridges theoretical security concepts with practical implications for real-world AI deployment.
Prof. Dr. Claudia Peus is a full Professor of Research and Science Management at the Technical University of Munich (TUM) School of Management , serving since May 2011. She holds executive roles as Founding Director of the TUM Institute for LifeLong Learning (TUM IL3) since December 2019 and Executive Vice President for Talent Management and Diversity since October 2017. Her career spans visiting positions at MIT's Sloan School of Management and Harvard University, alongside her habilitation (2011) and PhD (2005) from LMU Munich. Current affiliations: TUM School of Management, TUM IL3, RWI – Leibniz Institute for Economic Research Research focuses: Leadership development in the digital age, diversity in organizations, ethical leadership, and research organization management Recent research trends analyze digital leadership dynamics, gender-decoded recruitment practices, robotic leadership interfaces, and neurophysiological mechanisms in leadership behavior. Her 2025 work on moral careers and 2024 resource-based absorption theory highlight evolving themes in organizational psychology. Scientific honors include: Highly Cited Research Award, Leadership Quarterly (2016) Emerald Citations of Excellence (2016) Best Teaching Award, TUM School of Management (2014) Academy of Management Symposium Award (2010) Bayerische Landesbank Wissenschaftspreis (2006) Prof. Peus advises organizations on diversity and talent management. She was recognized as one of Germany's Most Inspiring Women (2020) and leads projects like FührMINT, ForGenderCare, and the TUM Neurophysiological Leadership Lab (NeLeLab).
Nate Foster is a Professor of Computer Science at Cornell University and currently serves as the Associate Dean for Research in the Ann S. Bowers College of Computing and Information Science. He is also a Visiting Researcher at Jane Street and served as a Visiting Professor at École Polytechnique Fédérale de Lausanne during the 2023-24 academic year. His research uses ideas from programming languages to solve problems in networking, databases, and security. BA in Computer Science, Williams College (2001) MPhil in History and Philosophy of Science, University of Cambridge (2008, all work completed in 2003) PhD in Computer and Information Science, University of Pennsylvania (2009) Foster's research focuses on developing languages and tools that make it easy for programmers to build secure and reliable systems. His current work centers on the design and implementation of languages and tools for programmable networks, particularly using the P4 language. His past work includes bidirectional languages (also known as 'lenses'), database query languages, data provenance, type systems, mechanized proof, and formal semantics. His research group at Cornell has made significant contributions to network verification, software-defined networking, and formal foundations for programmable data planes. Analysis of Foster's recent publications reveals a strong focus on network verification and programming language foundations for networking. His work consistently applies formal methods to practical networking problems, with a particular emphasis on the NetKAT and P4 languages. Over the past five years, his research has evolved toward more complex network verification techniques, including infinite state verification, active learning of network models, and dependently-typed approaches to network programming. His work bridges theoretical computer science with practical networking systems, making formal methods accessible to network engineers. ACM Fellow (2025) ACM SIGPLAN Robin Milner Award (2023) ACM SIGCOMM Rising Star Award (2018) NSF CAREER Award (2013) Alfred P. Sloan Fellowship (2012) Multiple distinguished paper awards across top conferences including POPL, PLDI, and SIGCOMM Foster has advised numerous PhD and Master's students who have gone on to prominent positions in both industry and academia, with many continuing work in programming languages and networking. He has led multiple significant research grants including an NSF CAREER Award and has been involved in the P4 Language Consortium, serving as Chair of the P4 Language Governing Board. His work has been supported by various organizations including NSF, DARPA, and industry partners like Intel and Jane Street. Foster is also active in the programming languages research community, serving on numerous program committees and as Vice Chair of DARPA's Information Science and Technology (ISAT) study group. Foster leads a vibrant research group at Cornell focused on programming languages for networks, with collaborators from academia and industry. His group has developed several influential tools and frameworks including NetKAT, Petr4, and KATch. They maintain strong connections with the P4 community and work closely with industry partners to ensure their research has practical impact on real-world networking systems.
Max Planck Institute for Human Cognitive and Brain SciencesGermany
Dr. Charlotte Grosse Wiesmann is a Researcher and Minerva Fast Track Junior Research Group Leader at the Max Planck Institute for Human Cognitive and Brain Sciences since 2019. She explores the cognitive and neural foundations of social cognition, theory of mind, self-awareness, agency, action understanding, executive function, and language development in early childhood. Education: Dipl. Phys. in Physics (specialization: theoretical particle physics and gravitation) from Humboldt University of Berlin (2002-2009) Dr. rer. nat. in Psychology from the University of Leipzig (2012-2017) Her research integrates interdisciplinary approaches to understanding early cognitive development, with a focus on neural mechanisms. She has been supported by prestigious fellowships, including the German National Academic Foundation (2002-2009, 2012-2015) and the Minerva Fast Track Fellowship (since 2019), and led a DFG-funded project on implicit theory of mind (2019-2021). Scientific Awards & Funding: Physics Study Prize, Wilhelm and Else Heraeus Foundation (2010) German National Academic Foundation funding for undergraduate and doctoral studies Marie Curie Fellowship (2018-2019) Minerva Fast Track Fellowship (since 2019) DFG project funding (2019-2021) Her career includes postdoctoral work in Social Neuroscience at the Max Planck Institute (2017-2018) and a research associate role in 3D Quantum Gravity at the University of Hamburg (2009). She leads the "Milestones of Early Cognitive Development" group, advancing understanding of cross-disciplinary cognitive science topics.
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.
Professor Alexander Ilin-Tomich serves as an Acting Professor at the Institute of Egyptology within the Department of History and Cultural Studies at the Free University of Berlin. His academic career spans multiple prestigious institutions including Johannes Gutenberg-Universität Mainz and the Russian Academy of Sciences. His educational background includes: 2022: Habilitation in Egyptology at Johannes Gutenberg-Universität Mainz with thesis "Egyptian name scarabs from the 12th to the 15th Dynasty: Geography and chronology of production" 2007-2011: Doctoral studies at Lomonosov University Moscow, earning "kandidat istoriceskich nauk" (equivalent to PhD) 2002-2007: Undergraduate studies in Ancient History (including Egyptology) at Lomonosov University Moscow Professor Ilin-Tomich specializes in Egyptian stelae, offering tables, scarabs, personal names, prosopography, and administration during the Middle Kingdom and Second Intermediate Period. His research combines philological, archaeological, and historical approaches to examine ancient Egyptian society, with particular focus on administrative structures, material culture, and regional variations. His work on scarab production and distribution has established him as a leading expert in this specialized field. His publication record demonstrates consistent focus on Middle Kingdom administration, with recent expansion into material analysis of Egyptian blue pigment and methodological approaches to studying small archaeological finds. He has developed significant digital resources including the open-access "Personen und Namen des Mittleren Reiches" database. Professor Ilin-Tomich has secured multiple competitive research grants: Fritz Thyssen Foundation project "Ancient Egyptian titles in official and familial contexts, 2055-1352 BC" (2021-2024) Fritz Thyssen Foundation project "Transformation and variability in the corpus of ancient Egyptian personal names 2055-1550 BC" (2017-2021) Alexander von Humboldt Foundation postdoctoral fellowship (2015-2017) Russian Foundation for the Humanities research grant (2013-2015) He actively contributes to the academic community through editorial work, including co-editing the 2023 Festschrift "Schöne Denkmäler sind entstanden. Studien zu Ehren von Ursula Verhoeven," and has established himself as a key researcher in Middle Kingdom studies through his monographs and numerous journal articles.
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.
