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.
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 the Science of LightGermany
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.
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.
Nicole Koschate-Fischer is Professor and holds the GfK Chair for Marketing Intelligence at Friedrich-Alexander University Erlangen-Nuremberg (FAU), where she currently serves as Dean of Research at the Faculty of Business, Economics and Social Sciences. She is spokesperson for the interdisciplinary research focus "Customer Insights" and founding director of the Experimental Lab for Business Insights Nuremberg (ELAN). Previously, until September 30, 2024, she served as spokesperson for the Institute of Marketing and head of the Master's in Marketing program. Professor Koschate-Fischer earned her doctorate and habilitation from the University of Mannheim after completing a degree in business administration and psychology. Her academic journey includes membership in the interdisciplinary Collaborative Research Center "Concepts of Rationality, Decision Behavior, and Economic Modeling" at Mannheim, along with research stays as visiting scholar at University of Florida and University of Texas at Austin. She has held professorships at Technical University of Kaiserslautern and HEC Paris, and served as visiting professor at University of Vienna and Central University of Finance and Economics in Beijing. Research Interests Professor Koschate-Fischer's research spans customer insights , digital marketing , pricing and product management , and marketing analytics . Her work investigates consumer behavior in digital contexts, brand partnerships, life event impacts on purchasing decisions, and the psychological aspects of pricing. She employs experimental research methods and mediation analysis to understand causal relationships in consumer decision-making processes. Her publication record demonstrates consistent high-impact research in leading journals including Journal of Marketing, Journal of Marketing Research, and Journal of the Academy of Marketing Science. Recent work focuses on digital communication phenomena like emoji usage in electronic word-of-mouth, conversational agent interactions, and the application of behavioral pricing principles in charitable contexts. Professional Recognition Full member of the Bavarian Academy of Sciences and Humanities Member of the Board of Academic Trustees of the Center for Advanced International Marketing Knowledge (AiMark) Editorial board member of Journal of International Marketing Professor Koschate-Fischer regularly serves as reviewer for leading international academic journals and presents her research at both academic and practitioner-oriented conferences. Her work receives funding from organizations including the German Research Foundation (DFG), and she maintains active collaborations with renowned companies across various industries. She has directed the Experimental Lab for Business Insights Nuremberg (ELAN) since its founding, creating a hub for interdisciplinary customer insights research that bridges academic rigor with practical business applications.
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.
Veronika Eyring serves as Head of the Earth System Model Evaluation and Analysis Department at the German Aerospace Center (DLR) Institute of Atmospheric Physics and Professor of Climate Modelling at the University of Bremen. She holds dual appointments at these leading institutions, directing cutting-edge research at the intersection of climate science and artificial intelligence. Education: 2008: Habilitation in Environmental Physics at the University of Bremen 1999: PhD in Physics from the University of Bremen 1994: Diploma in Physics from the University of Erlangen Professor Eyring's research program focuses on improving climate models and projections through innovative integration of machine learning techniques and spaceborne Earth observations. Her work spans process-oriented modeling, development of observationally-based performance metrics, and understanding systematic biases in climate models. She has pioneered approaches to weighting model projections based on their performance using machine learning, significantly advancing the field of climate model evaluation. Her research has critical applications across multiple sectors including aeronautics, space research, transportation, and energy systems. Analysis of her recent publications reveals a clear trajectory toward deeper integration of machine learning with traditional climate modeling approaches. Her work has increasingly focused on developing community tools like the Earth System Model Evaluation Tool (ESMValTool) and leading major international initiatives such as the USMILE project (Understanding and Modelling the Earth System with Machine Learning). The publications span climate science, machine learning, Earth system modeling, and remote sensing, with specific emphasis on climate model evaluation, parameterization techniques, and improved climate projections. Scientific Awards: AGU Ambassador Award (2024) TUM Distinguished Affiliated Professor (2024) Gottfried Wilhelm Leibniz Prize (2021) ERC Synergy Grant (2019) Thomson Reuters Highly Cited Researcher (2016-2021) Top female researchers award, Helmholtz-Society (2015) Professor Eyring actively supervises a large research group comprising PhD students working on ML-based sea ice parameterizations, causal model evaluation for air-sea interactions, and machine learning-based detection of droughts in climate projections. She leads the prestigious ERC Synergy Grant USMILE and secured significant funding through the DFG Gottfried Wilhelm Leibniz Prize. Her research group at DLR includes multiple postdocs, research scientists, and software engineers working collaboratively on climate informatics projects. Professor Eyring leads the Earth System Model Evaluation and Analysis Department at DLR, which encompasses research groups focused on CMIP model evaluation, ESMValTool development, and machine learning applications in climate science. She founded and supervises the 'Climate Informatics' Group at the DLR Institute for Data Science in Jena. Her department maintains strong international collaborations, particularly with the National Center for Atmospheric Research (NCAR) in Boulder, Colorado, where she serves as an Affiliate Scientist.
Marco Platzner is a Professor for Computer Engineering at Paderborn University , Germany. He serves as the Dean of Research for the Faculty of Computer Science, Electrical Engineering and Mathematics and heads the Department of Computer Science. Previously, he held research positions at ETH Zurich, Stanford University, GMD (now Fraunhofer IAIS), and Graz University of Technology. Education: Diploma and PhD in Telematics (Graz University of Technology, 1991 and 1996), Habilitation in Hardware-Software Co-Design (ETH Zurich, 2002) Research Interests focus on reconfigurable computing, approximate computing, self-* computing, and embedded systems. His work addresses hardware security, FPGA design, and sustainable AI in data centers. Current projects include energy-efficient AI through deep neural network approximation for FPGAs (EKI-App) and lifecycle sustainability of socio-technical systems (SAIL). Publication Trends show expertise in FPGA security, approximate circuit synthesis, robotics, and hardware acceleration. Collaborations span robotics (ROS 2 integration), AI (transformer optimization), and cybersecurity (Trojan detection). Scientific Awards: ACM SIGDA Hall of Fame (2020) Significant Paper Award (FPL 2015) Best Paper Awards at IEEE ISVLSI (2024), ARC (2018), IEEE ReConFig (2015), and others Weierstraß Prize for Teaching (2008) Leadership Roles include membership in the board of Paderborn Center for Parallel Computing (PC2) and the Jenny Aloni Centre for Early Career Researchers. He has contributed to EU FP7 FET project EPiCS and German priority programs on embedded systems and organic computing.
Max Planck Institute for Security and PrivacyGermany
Toby Jia-Jun Li is an Assistant Professor in the Department of Computer Science and Engineering at the University of Notre Dame, where he leads the SaNDwich Lab. He also serves as the Director of the Human-Centered Responsible AI Lab in the Lucy Family Institute for Data & Society and is a Faculty Fellow at the Institute for Educational Initiatives (IEI). Previously, he was affiliated with Carnegie Mellon University's Human-Computer Interaction Institute (HCII) and GroupLens Research. Dr. Li's research spans the intersection of Human-Computer Interaction (HCI), End-User Software Engineering, Machine Learning (ML), and Natural Language Processing (NLP), with recent work focusing on addressing societal challenges in the future of work through human-AI collaborative approaches. His work has resulted in over 40 publications at premier venues including CHI, UIST, CSCW, ACL, and ICSE, with 8 papers winning Best Paper or Honorable Mention awards. His recent publications demonstrate a strong focus on human-AI collaboration across various domains, including code understanding, privacy, accessibility, and creative tools. The work shows a trajectory toward increasingly sophisticated integration of human-centered design with AI capabilities, particularly using large language models to enhance human productivity and address societal challenges. Google Research Scholar Award recipient Recipient of Yahoo! Fellowship ($100,000/year) Best Paper Award at UIST 2020 Best Paper Honorable Mention Award at CHI 2021 Best Paper Award at CSCW 2024 Best Paper Award at CHI 2025 Dr. Li actively mentors Ph.D. students and has established collaborations with Google, Microsoft Research, IBM Research, Adobe, Verizon, and J.P. Morgan. His research has been supported by NSF, Google Research Scholar Program, AnalytiXIN Initiative, Yahoo! InMind project, and J.P. Morgan. He is currently recruiting Ph.D. students and undergraduate researchers for his SaNDwich Lab, which focuses on developing interactive systems to empower individuals to create, configure, and extend AI-powered computing systems.
Christof Paar is a Professor of Embedded Security at Ruhr University Bochum's Faculty of Computer Science. His work focuses on hardware security, cryptography, and embedded systems security. He leads the Embedded Security Group within the CASE Cluster of Excellence (Cyber Security in the Age of Large-Scale Attacks), addressing cutting-edge challenges in hardware Trojans, side-channel attacks, and cryptographic engineering. His research spans FPGA and IoT security, with contributions to physical-layer security, wireless jamming defenses, and tamper-resistant systems. Research Interests: Paar's expertise lies in hardware-software co-design for security, with a focus on embedded systems. His work includes analyzing vulnerabilities in FPGAs, developing countermeasures against side-channel attacks, and exploring physical-layer security mechanisms. He also investigates the human factors in hardware reverse engineering and the implications of adversarial machine learning on security systems. Notable Work: Recent publications highlight breakthroughs in detecting hardware Trojans across CMOS generations, breaking industry-standard IP protection mechanisms (IEEE 1735), and proposing novel defenses like IRShield against adversarial wireless sensing. His group actively contributes to standards for secure embedded systems and IoT devices, emphasizing practical implementations.
Benjamin Mako Hill is an Associate Professor in the University of Washington Department of Communication and an Adjunct Associate Professor in Human-Centered Design & Engineering , the Paul G. Allen School of Computer Science & Engineering , and the Information School at UW. He is a Faculty Associate at the Berkman Klein Center for Internet and Society at Harvard University and a Fellow at the Center for Information Technology Policy at Princeton University during the 2023–2024 academic year. Educational Background : PhD in an interdepartmental program at Massachusetts Institute of Technology (MIT) , involving the MIT Sloan School of Management and the MIT Media Lab , advised by Eric von Hippel, Yochai Benkler, Tom Malone, and Mitch Resnick. MS in Media Arts and Sciences from MIT. B.A. in Technological and Legal History from Hampshire College . Research Interests span peer production, online communities, collective action, cooperation, learning, and computer-mediated communication. His work explores how communication and information technologies shape social outcomes in collaborative environments like Wikipedia and Linux, focusing on governance, moderation, anonymity, and educational platforms such as Scratch. Article Trends : His publications analyze peer production dynamics, privacy in open collaboration, and computational thinking in youth. Topics include underproduction in open source software, algorithmic fairness, taboo knowledge production, and legitimate peripheral participation in online communities. Methodologies combine big data, quasi-experimental, and comparative analyses. Scientific Awards : Dordick Award for Best Dissertation (2013). CHI '22 Best Paper Honorable Mention (2022). CSCW '18 Best Paper Honorable Mention (2018). CHI '17 Best Paper Honorable Mention (2017). CSCW '13 Best Paper Award (2013). CHI '11 Best Paper Honorable Mention (2011). Advising and Grants : He co-founded the Community Data Science Collective and collaborates with researchers like Aaron Shaw. Grants include multiple National Science Foundation awards for studies on digital knowledge commons, anonymous participation, and collaborative success, as well as a Sloan Foundation grant for modeling underproduction in peer production. Labs and Teams : He leads the Community Data Science Collective , an interdisciplinary research group studying online communities, and contributes to open-source projects like Debian and Ubuntu . He actively edits Wikimedia projects and participates in the Cascadia Wikimedians User Group .
Prof. Dr. Sebastian Steinhorst is an Associate Professor (W3-level with tenure) at the Technical University of Munich (TUM) within the Embedded Systems and Internet of Things group at the TUM School of Computation, Information and Technology . His research focuses on advancing the security, predictability, reliability, and interoperability of smart connected and autonomous systems, particularly for applications in Internet of Things (IoT) , Industry 4.0 , and automotive systems . PhD in Computer Science (2011) from Goethe University Frankfurt Postdoctoral roles at TUMCREATE Singapore (2011-2016) and Aarhus University (2016) Joined TUM in 2016 as Rudolf Moessbauer Tenure Track Professor His research areas include decentralized embedded systems, hardware/software co-design, modeling and verification of cyber-physical systems, security protocols for automotive networks, and time-sensitive networking (TSN) for industrial applications. Recent work explores blockchain-based data sovereignty, zero-knowledge proofs for vehicle authentication, and resilient architectures for autonomous systems. Key scientific contributions include the 2019 ACM TODAES Best Paper Award and pioneering work on CyberSecDome , LeapChain , and Simutack frameworks. He serves on editorial boards and conference committees, including co-organizing the Autonomous Systems Design initiative at DATE. His teaching portfolio spans lectures on System Design for IoT , Software Architecture for Distributed Systems , and IoT Security across multiple semesters. He also leads advanced seminars on embedded systems and IoT.
Prof. Dr. Andrea Stocco is a Professor at the Technische Universität München (TUM), affiliated with the TUM School of Computation, Information and Technology. His research focuses on the intersection of software engineering and deep learning, particularly addressing the robustness and reliability of data-intensive systems. Key areas include autonomous vehicles, web application testing, and automated functional oracles for deep learning systems. He leads initiatives such as the Lehrstuhl für Software und Systems Engineering , collaborating on projects like CrESt and SUPPRA – Algorand Center of Excellence . Research interests encompass monitoring techniques for AI-driven systems, test suite maintainability, and scenario-based testing of cyber-physical systems (CPS). His work emphasizes practical applications, such as improving testing frameworks for evolving web applications and enhancing interoperability in autonomous driving systems (ADS). Recent efforts include leveraging large language models (LLMs) for secure code assessment and benchmarking generative AI for test input generation. No scientific awards are explicitly mentioned in the provided texts. His publications reflect a strong focus on testing methodologies, with over 40 articles since 2013, covering domains like web test automation, dependency-aware testing, and safety-critical failure prediction in autonomous systems. Advising and grants details are not detailed in the current data, but his lab contributes to TUM's broader efforts in software engineering and systems reliability.
Vijay Laxmi is a Professor in the Department of Computer Science and Engineering at Malaviya National Institute of Technology (MNIT) Jaipur, India. With over a decade of active research publication from 2014-2024, Dr. Laxmi has established themselves as a prominent researcher in network security, Android security systems, and Network-on-Chip architectures. Their work demonstrates consistent collaboration with Manoj Singh Gaur and numerous doctoral students at MNIT Jaipur. Dr. Laxmi's research interests span Network Security, Android Security, Malware Analysis, Network-on-Chip Architectures, Routing Protocols, Side-Channel Attacks, Wireless Networks, and Mobile Security. Their work bridges theoretical security frameworks with practical implementations, particularly in mobile and embedded systems. Recent publications indicate a growing focus on AI-based security approaches including GAN applications for fuzzing and deep learning for image dehazing. The research trajectory shows increasing sophistication in security analysis techniques, evolving from basic malware detection to advanced side-channel attack analysis and sophisticated network security protocols. Recent publications demonstrate expertise in both theoretical frameworks and practical implementations with applications in real-world security challenges. Dr. Laxmi has mentored numerous graduate students including Vineeta Jain, Anugrah Jain, Sonal Yadav, Mohit Singh, and Gaurav Singal, who appear as co-authors across multiple publications. Their collaborative network extends to researchers at international institutions, indicating strong academic connections beyond their home institution.
Dr.-Ing. Tobias Fiebig is a Senior Researcher at the Max Planck Institute for Informatics (Internet Architecture department) since April 2022. He previously served as a permanent Assistant Professor at TU Delft's Faculty of Technology, Policy and Management from 2017-2022. His work combines network measurement with human factors to improve security practices, focusing on email protocols, DNS infrastructure, and academic cloud migration. PhD in Computer Science from TU Berlin (2017) MSc in System and Network Engineering from University of Amsterdam (2013) BSc in Cognitive Science from University of Osnabrück (2012) His research spans Internet security (DNS, IPv6, email), academic freedom in cloud contexts, and human-centered security challenges. Recent work analyzes MTA-STS deployment, DNS sampling biases, and university cloud migration privacy implications. He has presented at top conferences including USENIX Security , IEEE Symposium on Security and Privacy , and ACM CCS . Teaching roles include lecturing Data Networks (2023-24) and On the Practice of System and Network Engineering (2024), with prior module management in cyber security analytics and sustainable system operations.
