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 .
Angela Capel Cuevas is an Assistant Professor of Quantum Information Theory/Theoretical Quantum Computation at the University of Cambridge's Department of Applied Mathematics and Theoretical Physics (DAMTP). Previously, she held a Junior Professorship at Eberhard Karls Universität Tübingen (2021-2024) and was an MCQST Distinguished PostDoc at TU München (2020-2021). Her research focuses on the intersection of quantum information theory and quantum many-body systems, particularly studying thermalization dynamics via quantum functional inequalities. She is a recipient of the Simons Emmy Noether Fellowship and Forbes 30 Under 30 (Spain 2023). Education: PhD in Mathematics, Universidad Autónoma de Madrid/ICMAT (2015-2019) Master in Computational Engineering and Mathematics, URV/UOC (2016-2018) Bachelor in Mathematics, Universidad de Granada (2009-2014) Research: Angela's work applies analytic and geometric tools to quantum systems, emphasizing decay of correlations in Gibbs states and quantum dissipative evolutions. Key topics include entropy inequalities, modified logarithmic Sobolev inequalities, and thermalization rates in spin chains. Her recent work bridges quantum functional analysis with practical implications for quantum computing and thermalization phenomena. Grants & Roles: PI of CRC TRR 352 'Mathematics of Many-Body Quantum Systems' (7M€) Co-PI of QuantERA project TouQan (1.25M€) Organized workshops at BIRS and Tübingen (2023-2024) Awards: Simons Emmy Noether Fellowship (2023) Forbes 30 Under 30 (2023) Vicent Caselles RSME-FBBVA Award (2022) Labs/Teams: Leads a group studying quantum dissipative systems and thermalization at DAMTP. Collaborates with institutions globally on quantum functional inequalities and Gibbs state properties.
Bernhard J. Berger is a Lecturer in the Department of Computer Engineering at the Institute of Embedded Systems, Hamburg University of Technology (TUHH). His research focuses on software security, static code analysis, machine learning, optimization, and research data management. He has held significant roles such as Program Committee member for ICPC 2025 and MSR 2025, and has received awards including the Best Reviewer Award (ICPC 2023) and Best Engineering Paper Award (SCAM 2019). His work spans interdisciplinary applications including maritime systems security, GPU-accelerated AI, and evolutionary algorithms. Recent studies emphasize AI-driven security tools (e.g., ML-SAST) and domain-specific language approaches to optimization (EvoAl). He has contributed to over 30 peer-reviewed publications, with notable work in IEEE Transactions on Software Engineering and Science of Computer Programming. Berger collaborates closely with industry through DAAD review committees and serves on artifact evaluation boards for ISSTA and ARES conferences. Education: Doctoral Thesis (2022), Diploma in Computer Science (2007) Key Projects: ArchSec tool suite, Threat Modeling Frameworks, Bauhaus static analysis methodology Lab Affiliation: Embedded Systems Design Group His advisory roles include Deputy of TUHH's Election Verification Committee and Session Chair at IEEE Congress on Evolutionary Computation 2023. Current research trends integrate machine learning with static analysis for automated vulnerability detection, while also exploring explainable AI techniques for neural network optimization.
Nadia Polikarpova 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.
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.
Professor Rainer Böhme is a prominent academic in the field of IT security and privacy at the University of Münster's School of Business and Economics, Department of Information Systems. He also holds a professorship for Security and Privacy at the University of Innsbruck's Institute of Computer Science. His research spans multiple dimensions of digital security, with particular expertise in steganography, digital forensics, privacy-enhancing technologies, and the economic aspects of cybersecurity. Dr. Böhme earned his Doctoral Degree from TU Dresden's Faculty of Computer Science in 2008, following studies in Communications, Economics and Computer Science at Technische Universität Dresden and Université Paris XII. His academic journey includes positions as Assistant Professor at the University of Münster (2010-2015), Postdoctoral Fellow at the International Computer Science Institute in Berkeley (2009-2010), and Scientific Staff at TU Dresden's Chair of Privacy and Data Security. His research interests focus on steganography and steganalysis, digital forensics, privacy-enhancing technologies, security and usability, economic and behavioral aspects of information privacy, virtual currencies, and the economics of information security. His work bridges technical security mechanisms with economic and behavioral considerations, creating a unique interdisciplinary approach to cybersecurity challenges. Analysis of his recent publications reveals a strong trend toward the economics of security, particularly regarding blockchain technologies, cryptocurrency, and privacy valuation. His work increasingly examines the intersection of technical security mechanisms with market dynamics, regulatory frameworks, and user behavior. The research spans theoretical game-theoretic models, empirical studies of user behavior, and practical applications in digital forensics and privacy protection. Program Co-Chair, Financial Cryptography and Data Security (2015) Program Co-Chair, New Security Paradigms Workshop (NSPW) (2015) General Chair, 8th International Conference on IT Security Incident Management & IT Forensics (2014) Organizer and Program Co-Chair, 1st Workshop on Bitcoin Research (2014) Associate Editor, Electronic Commerce Research (since 2013) Associate Editor, EURASIP Journal on Information Security (since 2013) Professor Böhme has supervised multiple Master's theses in Information Systems, including work on static code analysis for smart contracts, remote maintenance protocol security, and application protection requirements in retail banking. His research is supported by significant grants from the German Federal Ministry of Research, Technology and Space, the DFG, and the EU FP7 program, with projects focusing on digital forensics, privacy-enhancing technologies, and cryptocurrency crime prevention. He leads the IT Security Research Group at the University of Münster, which investigates theoretical and applied aspects of information security with particular emphasis on the economic dimensions of security decisions.
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.
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 .
Martin Haspelmath is a Senior Research Scientist at the Department of Linguistic and Cultural Evolution at the Max Planck Institute for Evolutionary Anthropology (MPI-EVA), Leipzig, and an honorary (adjunct) professor at Leipzig University. His research focuses on comparative linguistics, language universals, and typology, particularly in syntactic and morphological systems. He co-edited the World Atlas of Language Structures (2005/2013) and co-founded Language Science Press . Education: PhD in Linguistics, Freie Universität Berlin (1990–1993) MA in Linguistics, University of Cologne and University at Buffalo (1985–1989) Undergraduate studies in Linguistics, University of Vienna (1983–1985) Research Interests: Haspelmath investigates global grammatical diversity, form-function correspondences, and universals in syntax, morphology, and lexical systems. His work emphasizes comparative concepts for cross-linguistic analysis and critiques traditional grammatical categories. Grants & Projects: ERC project leader at Leipzig University (2015–2020) Co-creator of Grambank , an open-access database of grammatical structures Leading initiatives for open-access publication and linguistic data sharing Labs/Teams: Active in the MPI's Department of Linguistic and Cultural Evolution, collaborating on projects like APICS (Atlas of Pidgin and Creole Language Structures) and ValPal (Valency Patterns Leipzig).
Uwe Flick is a Seniorprofessor in the Department of Education and Psychology at Freie Universität Berlin, specializing in Qualitative Social and Education Research. He has held professorships at Alice Salomon University and Hannover Medical School and is internationally recognized for his contributions to qualitative methodology. Education: Dr. phil. from Freie Universität Berlin (1988), Habilitation in Psychology from Technical University of Berlin (1994). Professional Affiliations: Freie Universität Berlin (2013–present, Seniorprofessor since 2022), Alice Salomon University (2004–2013), Hannover Medical School (1996–1997). His research centers on qualitative methods , social representations of health and illness , chronic illness , migration , and vulnerability . He investigates the lived experiences of marginalized groups, including chronically ill youth, homeless adolescents, and refugees, often employing triangulation and mixed methods to deepen understanding. The 15 most recent publications highlight his sustained focus on advancing qualitative research methodology—editing handbooks, writing foundational texts, and refining concepts of research quality, triangulation, and design. Simultaneously, his empirical work explores health communication, peer relationships, and integration challenges among vulnerable populations, demonstrating a powerful integration of methodological innovation with socially relevant inquiry. Scientific Awards: Lifetime Achievement Award in Qualitative Inquiry, ICQI (2019) Flick actively advises doctoral students through his Promotionskolloquium and has secured substantial research funding for projects on refugee integration, sleep disorders, and chronic illness. His editorial roles in journals like Qualitative Research , Journal of Health Psychology , and Sozialer Sinn , and his leadership in book series such as Qualitative Sozialforschung , underscore his influence in shaping the field. He is a central figure in qualitative research communities, frequently engaging as a visiting scholar and professor across Europe and globally. He leads a research team at Freie Universität Berlin, supervising master’s and doctoral projects on topics like peer relations, health concepts, and migration, fostering the next generation of qualitative researchers.
Prof. Dr. Ingo Scholtes is Chair of Machine Learning for Complex Networks at Julius-Maximilians-Universität Würzburg's Center for Artificial Intelligence and Data Science (CAIDAS). His research spans network science, graph machine learning, and computational social science, with applications in software engineering, ecology, biology, and physics. He received a Juniorfellowship from the German Informatics Society (2014) and an SNSF Professorship (CHF 1.5Mio, 2018). Current affiliations: JMU Würzburg (since 2021), University of Zurich (2018-2024), Bergische Universität Wuppertal (2019-2021) Research focus: Higher-order network modeling, temporal graph analysis, AI for collaborative systems, causality-aware machine learning His recent publications demonstrate strong trends in temporal network analysis , graph neural networks for time-series, and higher-order models across software engineering and social science domains. He co-chairs multiple international workshops on complex networks and serves as associate editor for EPJ Data Science and Advances in Complex Systems. Key scientific contributions: Foundational work on higher-order network models published in Nature Physics Methodological innovations in temporal network visualization (HOTVis) and path-based analysis (pathpy) As both educator and organizer, he leads the Computational Social Science Section at GI e.V., mentors across disciplines, and develops tools like git2net for collaboration analysis. His work bridges theoretical foundations with practical applications in network science.
Moritz Wiese is a Researcher at the Chair of Theoretical Information Technology within the Department of Electrical and Computer Engineering at Technische Universität München (TUM) . His work focuses on information-theoretic security, quantum communication, and wireless networks, with significant contributions to interference modeling and secure coding schemes. Research Interests : Information-Theoretic Security, Quantum Wiretap Channels, MIMO Systems, 5G/6G Technologies, Physical Layer Security, and Network Coding. Key Grants : Involved in DFG-funded projects (Gottfried Wilhelm Leibniz Prize, UKoloS) and BMBF initiatives (6G-life, QuaDiQua). Collaborations : Worked with Prof. Holger Boche, Christian Deppe, and Rami Ezzine on secure communication and randomness generation. Labs : Active in the ACES Lab and 6G-life research hub, focusing on joint communication/sensing and neuromorphic computing. Publications : Over 20 papers on secure estimation, wiretap channels, and quantum secrecy, including top-tier journals like IEEE Transactions on Information Theory and Journal of Mathematical Physics .
Wolfgang Forster is a Professor of Civil Law, Comparative Legal History and Legal Philosophy at the University of Tübingen, where he has been teaching since 2011. He served as Dean of the Faculty of Law from October 2020 to September 2022. Prior to his appointment at Tübingen, he was Professor of Civil Law and Legal Philosophy at the University of Giessen from 2007 to 2011. He completed his habilitation at LMU Munich in 2005 with a thesis on insolvency law history and earned his doctorate in 2000 with research on Karl Christian Friedrich Krause's legal philosophy. Forster studied law and philosophy at the Ludwig Maximilian University of Munich from 1987 to 1992, supported by the German Academic Scholarship Foundation and the Bavarian Scholarship for Gifted Students. He passed his first state examination in law in 1992 and his second in 1995. Between 1995 and 2000, he served as a research assistant at KU Eichstätt/Ingolstadt before becoming a research assistant at FAU Erlangen from 2000 to 2003 and at LMU Munich from 2003 to 2007. His research focuses on Civil Law, particularly the general part of the law of obligations, contract law, and family law; German and Spanish legal history, especially regarding insolvency law; History of Canon Law; and Legal philosophy and history of legal philosophy, with special emphasis on Karl Christian Friedrich Krause's legal philosophy. His work bridges historical legal scholarship with contemporary legal theory, examining how historical legal concepts inform modern jurisprudence. Forster's approach combines meticulous historical research with philosophical analysis, revealing continuities and transformations in legal thought across centuries. His publications demonstrate a consistent focus on the intersection of legal history, philosophy, and practical application. Forster has published extensively on Krausist legal philosophy, Spanish legal history, insolvency law development, and historical aspects of family law. His work shows particular strength in analyzing how legal concepts migrate across national boundaries and historical periods, with recurrent attention to German-Spanish legal connections. Hermann Conring Prize 2010 (for his habilitation thesis) Max Weber Prize of the Bavarian Academy of Sciences (for his dissertation) Faculty Prize of the Faculty of Law of the LMU Munich (for his dissertation) Forster has received significant research funding, including publishing support from the German Research Foundation for his habilitation thesis. He co-organized the 40th German Legal Historians' Day in 2014 and was a co-applicant for the interdisciplinary research training group 'Ambiguity: Production and Reception' approved by the DFG in 2013. He has also served as a visiting professor at the University of Wisconsin Law School in Madison, USA. His work demonstrates strong institutional support and recognition within the German and international legal academic community.
Anna Levina is an Assistant Professor for Computational Neuroscience at the University of Tübingen , affiliated with the Department of Computer Science under the Faculty of Science. Her research focuses on the self-organization of neuronal activity, critical dynamics in neural networks, and the excitation/inhibition balance in cortical circuits. Current positions: Assistant Professor (since 2018), Group Leader (2017-2018), Equality Officer (Computer Science) Previous roles: IST Fellow (2015-2017), Associated Researcher (2011-2015), Postdoc/PI (2011-2015), Postdoc (2008-2011) Her research integrates mathematical modeling , statistical physics , and computational neuroscience to study criticality phenomena, neural avalanches, and adaptive network dynamics. Key interests include: Self-organized criticality in neural systems Excitation/Inhibition balance mechanisms Network topology and dynamics Timescale analysis in neural processing Stochastic modeling of neural activity Recent publications reveal trends in understanding critical dynamics across biological and artificial networks, with applications to memory systems, sensorimotor integration, and disease modeling. She has received recognition as an IST Fellow .
Prof. Dr. Kai Cieliebak is a Professor of Mathematics at the University of Augsburg, where he holds the Chair of Analysis and Geometry within the Institute of Mathematics under the Faculty of Mathematics, Natural Sciences, and Materials Engineering. He has been at Augsburg University since 2012, following a professorship at Ludwig-Maximilians-Universität München from 2001-2012. His research group includes several researchers and postdocs working on symplectic geometry and related fields. Dr. Cieliebak earned his Diplom in mathematics summa cum laude from Ruhruniversität Bochum in 1992, with thesis on "Pseudo-holomorphe Kurven und periodische Orbits auf Cotangential Bündeln" under advisor H. Hofer. He completed his PhD in mathematics at ETH Zürich in 1996, with thesis "Symplectic boundaries: closed characteristics and action spectra," also advised by H. Hofer. His academic journey included positions at Harvard University, Stanford University, and research at IBM Zürich before his professorships in Munich and Augsburg. Prof. Cieliebak's research focuses on symplectic and contact geometry , with significant contributions to understanding symplectic manifolds, Lagrangian and Legendrian knots, Stein manifolds, and string topology. His work in Hamiltonian dynamics explores variational methods, periodic orbits, and celestial mechanics problems, particularly the restricted three-body problem. In global analysis , he investigates solution spaces of elliptic PDEs and symplectic field theory. His approach often bridges differential geometry, topology, and dynamical systems, with applications to mathematical physics. Over the past decade, Prof. Cieliebak's publications reveal a consistent focus on symplectic homology, Floer theory, and their applications to geometric problems. His work shows increasing integration of algebraic structures with geometric methods, particularly in cyclic homology and string topology. Recent research demonstrates strong collaboration with Urs Frauenfelder on celestial mechanics problems, applying symplectic techniques to the restricted three-body problem and related orbital dynamics. Prof. Cieliebak has secured significant research funding throughout his career, including multiple DFG grants under project codes CI 45/1 through CI 45/12, NSF grants, and participation in European Science Foundation networking programs. His most notable grants include "Foundations of Symplectic Field Theory" (2009-2015) and the current "Rabinowitz Floer Homology" project (since 2023), both in collaboration with U. Frauenfelder. He has mentored numerous researchers and maintains an active research group at Augsburg University, including postdocs and collaborators working on symplectic geometry problems. His team includes researchers such as Dr. Filip Broćić, Zhen Gao, Dr. Hanna Häußler, Emilia Konrad, Shuaipeng Liu, Dominik Meidert, Dr. Airi Takeuchi, Dr. Evgeny Volkov, Milan Zerbin, and PD Dr. Lei Zhao. Prof. Cieliebak has also organized numerous workshops on symplectic geometry, including the annual "Symplectic Field Theory" workshop series.
