Professor Christian Bizer is a leading figure in web-based systems and data integration at the University of Mannheim , where he chairs Information Systems V: Web-based Systems . His research focuses on integrating data from multiple sources using large language models and LLM-based agents, with applications in product data extraction and DBpedia knowledge graph construction. He co-founded the DBpedia project and initiated the WebDataCommons initiative. Current research areas: Entity matching, schema matching, table annotation, information extraction, data discovery Key projects: WebMall benchmark, WInte.r integration framework, Schema.org analysis His work applies to e-commerce data integration and knowledge graph construction, with empirical studies on schema.org adoption. He supervises PhD students including Alexander Brinkmann and Ralph Peeters. Scientific Awards: Best Paper at iiWAS 2024 SWSA Ten-Year Award at ISWC 2019 Yahoo FREP Award 2015 Semantic Web Challenge winners Teaching includes courses on web data integration, web mining, large language models, and data mining for master's programs. He leads the DWS PhD colloquium and team projects on LLM agents for data integration.
Cathryn Carson is a Professor in the Department of History at the University of California, Berkeley. Her work bridges the philosophical, cultural, and political dimensions of 20th-century science, with a focus on theoretical physics, nuclear history, and the integration of social sciences and humanities into engineering education. Education: AB in History and Philosophy of Science from University of Chicago (1990) AM in Physics from Harvard University (1993) PhD in History of Science from Harvard University (1995) Her research explores the interplay between science and philosophy, particularly in Germany and the U.S., alongside the institutionalization of data science. She teaches graduate and undergraduate courses, including Berkeley’s Data Science major’s Human Contexts and Ethics of Data course. Scientific Awards: Berkeley Collegium Award for Excellence in Undergraduate Education (2017) Distinguished Service Award, Division of Social Sciences (2014) Carol D. Soc Distinguished Graduate Student Mentoring Award (2014) Fellow of the American Association for the Advancement of Science Fellow of the American Physical Society Mellon New Directions Fellowship NSF CAREER Award Alexander von Humboldt Foundation Research Fellowship Member, Institute for Advanced Study, Princeton Carson has served in multiple leadership roles, including Associate Dean of Social Sciences, founding Interim Director of the D-Lab (Social Science Data Laboratory), and Faculty Lead of Berkeley’s Data Science Education Program. She is currently accepting students for advising and contributes to campus governance through roles in the Academic Senate.
Yao Qin is an Assistant Professor in the Department of Electrical and Computer Engineering at the University of California, Santa Barbara (UCSB), with dual affiliation in the Department of Computer Science. She concurrently serves as Co-Director of the REAL AI Initiative at UCSB and holds a Senior Research Scientist position at Google DeepMind, where she contributes to the Gemini Multimodal project. Her academic credentials include a PhD in Computer Science and Engineering from the University of California, San Diego (advised by Prof. Garrison W. Cottrell) and a BS in Electrical Engineering from Dalian University of Technology. During her doctoral studies, she completed internships with pioneering researchers Geoffrey Hinton and Ian Goodfellow. Dr. Qin's research program centers on machine learning robustness, with emphasis on adversarial robustness, out-of-distribution generalization, and fairness. She develops reliable AI systems specifically for healthcare applications, with diabetes management as a primary focus. Her lab explores critical themes including AI safety in multimodal models and diabetes-specific AI solutions, particularly exercise metabolism modeling and glycemic effect prediction. Recent publications reveal a strong trajectory in robust machine learning with cross-domain applications. Her work consistently bridges theoretical robustness concepts with practical healthcare implementations, particularly in diabetes care. Key publication venues include CVPR, ICML, NeurIPS, and ICLR, with notable contributions to out-of-distribution detection, adversarial transfer learning, and multimodal AI safety. Her distinguished recognition includes: EECS Rising Star at MIT (2021) UCSB Regents' Junior Faculty Fellowship Award Helmsley Charitable Trust award for Type 1 diabetes research UCSB Faculty Research Grant American Diabetes Association Abstract Award (ADA-2025) Dr. Qin actively mentors four PhD students—Mehak Dhaliwal, Andong Hua, Kenan Tang, and Youngseok Yoon—on projects spanning LLMs for diabetes, multimodal robustness, and generative time-series modeling. Her research is funded by the Helmsley Charitable Trust and UCSB, with recent grants supporting exercise-specific AID algorithms for diabetes management. As Co-Director of the REAL AI Initiative, she leads a research ecosystem focused on developing reliable artificial intelligence. Current lab activities include organizing workshops at NeurIPS-2024 (AdvML-Frontiers and AIM-FM) and developing next-generation diabetes management tools through collaborations with medical institutions.
Dr. Herb Lin is the Hank J. Holland Fellow in Cyber Policy and Security at the Hoover Institution and Senior Research Scholar for Cyber Policy and Security at the Center for International Security and Cooperation (CISAC), both at Stanford University. He also serves as Chief Scientist, Emeritus for the Computer Science and Telecommunications Board of the National Academies, where he worked from 1990 to 2014, and as Adjunct Senior Research Scholar and Senior Fellow in Cybersecurity at Columbia University's Saltzman Institute for War and Peace Studies. Dr. Lin received his doctorate in physics from MIT, providing him with a strong technical foundation that informs his policy work at the intersection of technology and national security. His academic background bridges the gap between deep technical understanding and policy application in the cybersecurity domain. Dr. Lin's research focuses on the policy dimensions of cybersecurity and cyberspace, with particular emphasis on offensive cyber operations as instruments of national policy, information warfare, and influence operations affecting national security. His work addresses critical challenges at the intersection of emerging technologies like artificial intelligence, quantum computing, and their implications for nuclear security, election integrity, and democratic processes. He has been instrumental in analyzing how cyber capabilities are transforming traditional security paradigms and how policy frameworks must adapt to these changes. His extensive publication record reveals a consistent focus on the evolving relationship between cyber capabilities and national security strategy. Lin's work demonstrates increasing attention to the implications of artificial intelligence for warfare, the vulnerabilities created by quantum computing for current cryptographic systems, and the growing threat of cyber-enabled information warfare to democratic institutions. His research trajectory shows a progression from traditional cybersecurity issues toward the broader implications of digital technologies for national and international security. Member of Science and Security Board of Bulletin of the Atomic Scientists Served on President Obama's Commission on Enhancing National Cybersecurity (2016) Regular congressional testimony on cybersecurity matters Contributor to Stanford Emerging Technology Review As a mentor and collaborator, Dr. Lin works extensively with policymakers, military officials, and technology experts to translate complex cybersecurity concepts into actionable policy recommendations. His approach emphasizes practical solutions to emerging threats while recognizing the technical limitations and policy constraints that shape real-world security outcomes. Dr. Lin is associated with multiple research initiatives including Stanford's Center for International Security and Cooperation and the Stanford Emerging Technology Review, which aim to connect technological advances with policy considerations for national security decision-makers.
Christoph Keplinger serves as Managing Director of the Max Planck Institute for Intelligent Systems (MPI-IS) in Stuttgart, Germany, leading the Robotic Materials Department since 2020 and assuming overall institute leadership in 2023. He holds dual academic appointments as Honorary Professor at the University of Stuttgart and Eminent Visiting Professor of Soft Robotics at the University of Colorado Boulder, establishing him as a pivotal figure in bridging fundamental materials science with advanced robotics. His interdisciplinary approach integrates physics, chemistry, and engineering to pioneer breakthroughs in soft robotic systems. Keplinger's academic foundation includes a PhD in Soft Matter Physics from Johannes Kepler University Linz, Austria, followed by postdoctoral research at Harvard University focusing on mechanics and chemistry of soft materials. This unique background enabled his transition into robotics innovation, particularly in electrohydraulic actuation systems. His research program centers on three synergistic pillars: (I) soft robotics development through novel actuator technologies like HASEL artificial muscles; (II) energy capture mechanisms using soft materials; and (III) functional polymers engineered for robotic applications. This work produces transformative hardware that mimics biological functionality, with significant implications for human-robot interaction, medical devices, and sustainable robotics systems. His group employs cutting-edge materials synthesis and characterization techniques to create lifelike robotic components. Analysis of recent publications reveals dominant trends in wearable haptic interfaces, electrohydraulic actuation systems, and tremor-suppression technologies. The research consistently leverages HASEL (Hydraulically Amplified Self-healing Electrostatic) technology to achieve muscle-like performance in soft actuators, with applications spanning from fingertip haptic feedback to underwater manipulation systems. This trajectory demonstrates a clear progression from fundamental material properties toward practical implementations in medical rehabilitation and human augmentation. His exceptional contributions have earned prestigious recognition: 2017 Packard Fellowship for Science and Engineering, awarded for high-impact interdisciplinary research 2021 Alexander von Humboldt Professorship (declined to remain at MPI-IS), Germany's most valuable international research award 2013 EAPromising European Researcher Award from the European Scientific Network for Artificial Muscles As principal investigator, Keplinger leads a dynamic interdisciplinary research group while securing competitive funding for frontier projects. His entrepreneurial vision materialized in 2018 through co-founding Artimus Robotics, where he serves as Chief Science Officer to commercialize HASEL technology. This dual commitment to academic research and industry translation exemplifies his dedication to real-world impact, particularly in creating biodegradable and sustainable soft robotic solutions. The Robotic Materials Department operates state-of-the-art facilities for materials fabrication, robotic integration, and haptic interface development. The team maintains strong collaborations across MPI-IS departments and external institutions including the University of Colorado Boulder, fostering innovation in sustainable robotics through initiatives like biodegradable electrohydraulic actuators. Current projects focus on wearable tremor suppression systems, electrohydraulic locomotion platforms, and energy-autonomous soft robots that address critical challenges in medical rehabilitation and human augmentation.
Anthony Rollett is a Professor in the Department of Materials Science and Engineering at Carnegie Mellon University , where he has been a faculty member since 1995. He serves as the Principal Investigator and Co-Director of the NASA-supported Institute for Model-Based Qualification & Certification of Additive Manufacturing (IMQCAM) and co-director of the Next Manufacturing Center . Prior to CMU, he held leadership roles at Los Alamos National Laboratory (1991-1995). Education: Ph.D., Materials Engineering, Drexel University (1987) MA, Metallurgy and Materials Science, Cambridge University (1977) Research Interests: Rollett’s work focuses on microstructural evolution and microstructure-property relationships in 3D using experiments and simulations. His expertise spans additive manufacturing , metal 3D printing , materials for energy systems , grain growth , recrystallization , and stereology , with techniques like high-energy diffraction microscopy (HEDM) and dynamic x-ray radiography (DXR) . Scientific Contributions: He has over 320 peer-reviewed publications and an h-index >80 . His recent articles highlight machine learning for laser processing , fatigue analysis of additively manufactured alloys, and design optimization for heat exchangers in supercritical CO2 and solar thermal applications . Scientific Awards: Fellow of ASM International (1996) Fellow of the Institute of Physics (UK) (2004) Fellow of The Minerals, Metals & Materials Society (TMS) (2011) Cyril Stanley Smith Award (TMS, 2014) Member of Honor, French Metallurgical Society (2015) US Steel Professor (2017) Francqui International Professor (2020-2021) International FAME Award (2023) Leadership & Impact: Rollett co-led the development of a NASA Space Technology Research Institute for additive manufacturing and established a new master’s program in additive manufacturing (2018). His research group is funded by industry , federal agencies , and Pennsylvania state grants . He also serves on the Basic Energy Science Advisory Committee and Defense Programs Advisory Committee for the Department of Energy.
Min Hu is an Assistant Professor in the Department of Economics, Philosophy, and Political Science at the University of British Columbia, Okanagan Campus. He holds an adjunct position at Dalhousie University's School of Health Administration. His primary research focuses on Health Economics, Applied Microeconomics, and Labour Economics, with an emphasis on vulnerable populations in Canada, Indigenous health, income inequalities, and cancer economics. He teaches courses in Microeconomics, Health Economics, and Statistics. Education: PhD in Economics (2019), Dalhousie University; Postdoctoral Fellowship in Health Economics (2019–2020), Dalhousie University. Previous degrees include an M.A. (2014–2016) and B.A. in Economics from Dalhousie University. Research interests include the socio-economic determinants of health disparities, particularly among Indigenous peoples and immigrants, and the economic impacts of cancer-related policies. He employs applied econometric methods to analyze labor market outcomes and social policy effectiveness. His recent articles explore sustainable biomass utilization, energy policies, and environmental engineering innovations. Key themes include biomass supply chain optimization, CO₂ reduction strategies, and waste-to-energy technologies. Scientific Awards: Recipient of SSHRC New Frontiers Grant (2023–2026), CIHR Team Grant (2024–2026), and multiple UBC startup grants. His work is supported by SSHRC, CRDCN, and Indigenous Services Canada. He advises students in Economics and Global Studies (IGS) programs. Grants and funding span health economics, Indigenous well-being, and sustainable energy systems. Collaborations include interdisciplinary teams in health administration and environmental policy. Labs/Teams: Engaged with UBC's Okanagan Sustainability Initiatives and Dalhousie's Health Economics Research Group. Affiliated with professional organizations like the American Economic Association and Canadian Health Economics Study Group.
Mariano Scazzariello is a Lecturer at KTH Royal Institute of Technology, Sweden, affiliated with the School of Electrical Engineering and Computer Science and the Department of Network and Systems Engineering. He teaches the course 'Network Systems with Edge or Cloud Datacenters (IK2227)'. His research focuses on advanced networking topics including machine learning in networks, high-speed packet processing, network emulation, and software-defined networking innovations. His work spans contributions to network emulation tools like Kathará and Megalos, stateful packet processing at terabit scales, and leveraging large language models (LLMs) for network configuration and vulnerability detection. Recent research emphasizes low-latency protocols (e.g., SRv6/DetNet integration) and GPU-centric networking on commodity hardware. Mariano’s publications (2020–2025) highlight expertise in network function virtualization, ASIC-based switching, and optimizing network configurations through AI-driven approaches. He has pioneered frameworks for evaluating routing protocols and virtualizing large network scenarios at scale.
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.
Mark Yatskar is an Assistant Professor in the Department of Computer and Information Science at the University of Pennsylvania. His research focuses on the intersection of natural language processing, computer vision, and fairness in machine learning. He earned his PhD from the University of Washington under advisors Luke Zettlemoyer and Ali Farhadi, and previously worked as a Young Investigator at the Allen Institute for Artificial Intelligence. Education: PhD in Computer Science, University of Washington (Advisor: Luke Zettlemoyer & Ali Farhadi) Research Interests: Yatskar's work explores how language can structure visual perception and mitigate human biases in machine learning systems. Key themes include: Natural language as a scaffold for visual intelligence Bias characterization and control in machine learning systems His lab currently investigates projects like language-guided bottlenecks, annotator cognitive heuristics, and gender bias amplification. Teaching: CIS 5300: Computational Linguistics (2021-2024) CIS 7000: Language and Vision (2020) CIS 6300: Efficient NLP (2023, 2025) Awards: Best Paper Award at EMNLP (Gender Bias Amplification Research) Advising & Grants: Yatskar advises a team of PhD/Master's students and actively seeks motivated researchers. His group has explored funding in areas like interpretable AI, multimodal reasoning, and dataset bias mitigation. Labs/Teams: Leads the Penn NLP & Vision Lab, focusing on projects like MolMo/PixMo open models, ViUniT visual unit tests, and bias mitigation frameworks.
Massimo Piccardi is a Professor of Natural Language Processing (NLP), Computer Vision, and Machine Learning at the University of Technology Sydney (UTS) , where he has been since 2002. He currently serves as the Head of the School of Electrical and Data Engineering and leads the Big Data Analytics program at the Global Big Data Technologies Centre. His research focuses on advancing NLP, machine learning applications in healthcare, and cybersecurity in IoT systems. He has authored over 200 journal papers and conference proceedings, secured significant ARC and CRC grants, and holds the IEEE Computer Society Distinguished Contributor Award (2022). Education & Professional Roles: Joined UTS in 2002, progressing from Associate Professor (2002–2007) to Professor (2008–present). Serves as Associate Editor for IEEE Transactions on Big Data and Editor for Artificial Intelligence in Medicine. Active in professional societies including IEEE, ACL, and ALTA (President, 2023–2024). Research Interests: Core areas include NLP (translation, summarization, adversarial attacks), healthcare informatics (clinical NLP, health service analysis), and cybersecurity (IoT security, privacy-preserving systems). Cross-cutting themes include generative models, cross-lingual systems, and ethical AI. Grants & Projects: Principal Investigator on ARC Discovery/Linkage projects and CRC grants. Recent projects include controllable machine translation (Amazon), privacy-preserving digital agriculture, and STEM innovation (ASTRID project with NBN Co). Labs & Collaborations: Leads the UTS Global Big Data Technologies Centre, collaborating on projects like adversarial NLP attacks, medical machine translation, and secure IoT frameworks.
Dr. Heather Inwood serves as University Associate Professor in Modern Chinese Literature and Culture within the Faculty of Asian and Middle Eastern Studies at the University of Cambridge. She is also a Fellow and Director of Studies at Trinity Hall, maintaining dual institutional affiliations that support her teaching and research activities across undergraduate and postgraduate programs. Her educational background includes a BA in Chinese Studies from the University of Cambridge (Trinity Hall), followed by advanced studies at Tsinghua University and Peking University, culminating in a PhD in modern Chinese literature from SOAS, University of London in 2008. Prior academic appointments include Assistant Professor at The Ohio State University (2008-2013) and Lecturer in Chinese Cultural Studies at the University of Manchester before returning to Cambridge in 2016. Professor Inwood's research program investigates the dynamic interactions between digital media and literary production in contemporary China, with particular focus on poetry communities, genre fiction, and transmedia storytelling. Her work bridges traditional literary analysis with digital humanities approaches, examining how online platforms transform authorship, reception, and cultural value. She has pioneered scholarship on internet poetry scenes, demonstrating their vitality despite public perceptions of poetry's decline in modern China. Her publication trajectory reveals a clear evolution from early work on poetry communities ( Verse Going Viral: China's New Media Scenes , 2014) toward broader investigations of digital narrative forms, game studies, and Sinophone cyberspace. Recent publications increasingly engage with science fiction, transmedia storytelling, and the algorithmic structures shaping literary production, reflecting both the changing digital landscape and her expanding methodological toolkit. Professor Inwood actively supervises five PhD students working on diverse projects spanning Misty poetry, queer narratives, gender studies, and poetic animality, demonstrating her commitment to nurturing next-generation scholarship in Chinese literary studies. Her research has been supported by British Academy Small Grants and similar funding mechanisms that enable sustained fieldwork and publication. Her teaching responsibilities include undergraduate courses on East Asian media and popular culture, Modern Chinese texts, and Modern Chinese literature, connecting classroom instruction directly to her research expertise. She also maintains public engagement through Chinese-language columns for BBC China and other media outlets, bridging academic and public discourse on contemporary Chinese culture.
Dr. Harwin de Vries is an Associate Professor at the Department of Technology and Operations Management, Rotterdam School of Management (RSM), Erasmus University Rotterdam. His research focuses on health and humanitarian logistics, particularly disaster relief logistics and improving access to essential medicines in low- and middle-income countries (LMICs). He explores the role of data analytics and new operational models in healthcare systems, such as mobile health service delivery. Before joining RSM, he worked at INSEAD as a postdoctoral researcher and manager of the INSEAD Humanitarian Research Group. He holds a PhD in Operations Research from Erasmus University. Education: PhD in Operations Research, Erasmus University Rotterdam His research interests include optimizing supply chain decisions in humanitarian contexts, with over 20 collaborations with health organizations. He teaches courses on Health & Humanitarian Logistics, Business Analytics, and Spreadsheet Modelling across BSc, MSc, and EMBA programs. Dr. de Vries has received notable awards including the 2021 ERIM Award for Young Researcher and a 2022 NWO VENI Grant. His work has been published in leading journals like Production and Operations Management and Manufacturing & Service Operations Management, and has been transformed into teaching cases. Grants: NWO VENI Grant (2022) He serves on the board of the POMS College of Humanitarian Operations & Crisis Management, actively contributing to academic and practical solutions in humanitarian logistics.
Olga Saukh is an Associate Professor at the Institute of Technical Informatics, Graz University of Technology (TU Graz), and a Faculty member at the Complexity Science Hub Vienna (CSH). She leads the Embedded Learning and Sensing Systems research group, which operates across both institutions, focusing on the design and deployment of efficient AI-based systems on edge and mobile platforms. Her work bridges deep learning and embedded systems, with applications in environmental monitoring, precision agriculture, and digital health. Ph.D. in Computer Science, University of Bonn (2009) Habilitation in Embedded Systems, TU Graz (2020) Postdoctoral Training, ETH Zurich (2010–2016) B.Sc. in Applied Mathematics, Taras Shevchenko National University of Kyiv (2002) M.Sc. in Applied Computer Science, University of Freiburg (2004) Her research centers on efficient machine learning, particularly model optimization, neural network pruning, and contrastive learning for resource-constrained devices. She is deeply engaged in solving real-world challenges in IoT, sensor networks, and cyber-physical systems. Her work emphasizes data privacy, sustainability, and practical deployment of AI at the edge. The 15 most recent publications highlight a strong trend in efficient deep learning, including model compression, pruning, and transfer learning, applied to diverse domains such as environmental sensing (air quality, pollution tracking), digital agriculture (cattle farming), and embedded AI (sensor calibration, on-demand sensing). Her work frequently appears in top-tier venues like NeurIPS, ICLR, and IEEE/ACM IPSN, reflecting her leadership at the intersection of machine learning and embedded systems. Scientific awards include: CONET Ph.D. Academic Award (2010) Multiple Best Paper Awards at IEEE PerCom, ACM/IEEE IPSN, IEEE ICPADS, IEEE SECON, and UrbCom Spotlight and Oral presentations at ICML and CoLLAs workshops Ph.D. scholarship from IPVS, University of Stuttgart (2004–2005) Prizes in Ukrainian national mathematics competitions (1996–1998) Olga Saukh actively serves on program committees of leading international conferences in machine learning and embedded systems. She has advised multiple students and leads a collaborative research group spanning TU Graz and CSH Vienna. Her group develops practical AI systems for real-world deployment, with a focus on sustainability and privacy. She co-organizes the public EfficientML reading group and has secured recognition through numerous grants and awards. Her future work continues to explore the theoretical and practical challenges of deploying efficient, trustworthy AI in mobile and embedded environments. Her research group, Embedded Learning and Sensing Systems, operates jointly between TU Graz and CSH Vienna, fostering interdisciplinary collaboration across institutions. The team develops AI solutions for edge computing, sensor networks, and cyber-physical systems, with a strong emphasis on environmental sustainability and data privacy. Members work on joint challenges using advanced collaboration tools, reflecting the distributed nature of modern academic research.
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.
