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 .
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.
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.
Andreas Bulling is a Professor at the Institute for Visualisation and Interactive Systems , University of Stuttgart, Germany. His research focuses on Human-Computer Interaction , Eye Tracking , and Computer Vision , with applications in Machine Learning , Virtual Reality , and Information Visualization . 2025 Publications: HOIGaze (Extended Reality), ChartQC (Data Visualization), HAIFAI (Human-AI Interaction), SummAct (Behavioral Summarization), Chartist (Chart Reading). 2024 Contributions: HumanEYEze (Multimodal AI), HOIMotion (3D Object Detection), MultiMediate'24 (Engagement Estimation), Unified Model of Saliency (Scanpath Prediction). His recent work explores gaze estimation , interactive behavior modeling , and privacy-preserving eye-tracking systems . Key subfields include Extended Reality , Neural Networks , and Behavioral Biometrics . While no explicit scientific awards are mentioned, his research has been widely cited (8,003 total citations) and downloaded (132,740 times). Andreas leads projects in Interactive Systems and collaborates with institutions such as Aalto University , KU Leuven , and National University of Singapore . His lab focuses on eye movement analysis , human motion forecasting , and task-driven input modeling .
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.
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.
Andreas Geiger is a Professor and Head of the Department of Computer Science at the University of Tübingen, Germany. He leads the Autonomous Vision Group (AVG) within CyberValley and is a core faculty member of the Tübingen AI Center. His roles also include PI in the ML in Science Excellence Cluster and the CRC Robust Vision, as well as ELLIS Fellow and coordinator of the ELLIS PhD program. He specializes in machine learning models for computer vision, robotics, and autonomous systems, with applications in self-driving cars, VR/AR, and scientific document analysis. Educational background: While not explicitly detailed, his positions imply a Ph.D. in Computer Science or related field. His work spans interdisciplinary collaborations with institutions like ETH Zürich, Microsoft, and the University of Bonn. Research focuses on 3D scene understanding, Gaussian splatting, generative models, and reliable autonomous systems. Notable contributions include the KITTI dataset and foundational work in neural radiance fields. Awards include the Sage 10-Year Impact Award (2024), ERC Starting Grant (2019), and IEEE PAMI Young Researcher Award (2018). Key projects include the Scholar Inbox paper recommender platform, ReSim (reliable world simulation), and advancements in 3D scene generation (e.g., UrbanCAD, PrITTI). His lab maintains a strong focus on open-source tools and datasets, such as the CARLA Route Generator. Grants and funding include support from Vector Stiftung (MINT innovation program) and EU initiatives like the ML in Science Cluster. His team collaborates internationally, with recent work presented at CVPR, SIGGRAPH, and NeurIPS.
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.
Prof. Mark Heitmann is a Professor of Marketing & Customer Insight at the University of Hamburg Business School. He holds a visiting appointment at Nova School of Business and Economics. His research focuses on AI-driven marketing strategies, social media analytics, brand equity, and consumer decision-making. He has held academic roles at institutions including the University of St. Gallen and Christian-Albrechts-University in Kiel before joining Hamburg in 2011. Academic Career: Holds a PhD (2004) and post-doctoral Habilitation (2007) from the University of St. Gallen. Visiting researcher at Columbia University and the Max Planck Institute for Human Development. Research Interests: Applications of artificial intelligence in marketing Social media and digital transformation Ethical consumer behavior Brand self-expression and visual design Marketing technology (MarTech) innovations Key Achievements: Over 20 peer-reviewed publications in top journals like Journal of Marketing Research and Harvard Business Review . Award-winning research includes the MSI/H. Paul Root Award and IJRM-EMAC Best Article Award. Active in translating research into scalable commercial solutions through software-as-a-service ventures. Team & Collaborations: Leads a research team including M.Sc. candidates Sammar Rath, Julia Rosada, Maximilian Witte, Tijmen Jansen, Claus Hegmann-Napp, and Magdalena Heynicke. Engages in interdisciplinary projects with industry partners.
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.
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.
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.
Prof. Dr.-Ing. Rüdiger Daub serves as Professor and Chair of Production Engineering and Energy Storage Systems at the Technical University of Munich (TUM), operating within the Department of Mechanical Engineering. His leadership encompasses research direction, academic supervision, and strategic development of battery production technologies at TUM's Garching campus (Boltzmannstr. 15), with active industry collaborations driving innovation in sustainable manufacturing. Daub's research program pioneers advanced production methodologies for lithium-ion and solid-state batteries, focusing on electrode manufacturing, electrolyte filling, and cell assembly processes. His work investigates critical parameter interdependencies affecting battery safety and performance, developing inline monitoring systems and digital twin technologies for real-time process optimization. Key contributions include moisture control in electrode production, electrochemo-mechanical characterization of solid-state systems, and robotics solutions for deformable object assembly, all integrated with machine learning for quality assurance in industrial settings. Analysis of his 2023-2025 publications reveals a dominant research trajectory toward solving production bottlenecks in next-generation energy storage. The work demonstrates increasing integration of computational modeling with empirical validation, particularly in solid-state battery manufacturing and high-voltage electrolyte systems. A notable trend is the cross-pollination of robotics, computer vision, and uncertainty quantification techniques to address complex assembly challenges and distribution shifts in quality monitoring, reflecting industry's urgent need for adaptable, data-driven production systems. Leading TUM's specialized laboratories for battery cell production, Daub's team maintains comprehensive facilities for electrode calendering, electrolyte filling, and cell assembly with integrated tracking and tracing capabilities. The research infrastructure supports collaborative projects with automotive OEMs and battery manufacturers to develop scalable production processes, emphasizing environmental sustainability through water-based electrode production and footprint optimization. Current initiatives focus on digital factory modeling and prelithiation technologies for next-generation battery systems.
Larissa Schlegel-Pape serves as a Scientific Associate at the Department for Ornamental and Pedigree Poultry within the Farm Animal Clinic of Freie Universität Berlin's Faculty of Veterinary Medicine. Her work focuses on developing innovative methods for assessing chicken welfare through the creation of the "Stressed Chicken Scale," which aims to systematically identify stress indicators in poultry. Her research interests center on animal welfare science, specifically stress assessment in chickens using both behavioral observation and computer vision technology. She investigates how body posture, movement patterns, and other visual indicators can reliably signal discomfort or stress in poultry, with the goal of creating practical assessment tools for veterinarians and poultry farmers. Her work bridges veterinary medicine, ethology, and technological innovation, contributing to refinement research (one of the 3Rs principles) in animal husbandry. Analysis of her publications reveals a strong focus on developing and validating the Stressed Chicken Scale across multiple contexts. Her work spans methodological development, practical implementation studies, and technological integration with computer vision systems. The research demonstrates progression from conceptual framework to validation studies and practical application, with increasing sophistication in assessment techniques and broader implications for animal welfare standards in poultry farming. Schlegel-Pape actively collaborates with the Federal Institute for Risk Assessment (BfR) and participates in interdisciplinary projects involving artificial intelligence applications in agriculture. She presents her findings regularly at major German veterinary conferences including the DVG (Deutsche Veterinärmedizinische Gesellschaft) events, DACh Epidemiology conferences, and specialized poultry medicine gatherings. Her work contributes significantly to advancing animal welfare assessment methodologies and promoting refinement in poultry husbandry practices.
