Jenna Wise DiVincenzo is an Assistant Professor at the Elmore Family School of Electrical and Computer Engineering at Purdue University. She specializes in research areas such as software verification, formal methods, and programming languages, with a focus on gradual verification techniques that combine static and dynamic analysis. Her work emphasizes usability and scalability in verification tools, and she has contributed to projects like Gradual C0 and gradual null-pointer analysis. Dr. DiVincenzo earned her PhD in Software Engineering from Carnegie Mellon University (2023) and a BS in Mathematics and Computer Science from Youngstown State University (2017). She has interned at IBM Research, MIT Lincoln Laboratory, and the Software Engineering Research and Empirical Studies Lab at YSU. Her awards include the Google PhD Fellowship, NSF GRFP Fellowship, and 2022 Rising Star in EECS. Her research projects span theoretical advancements in gradual verification, empirical studies on usability, and practical tool development. She advises PhD students (e.g., Craig Liu, Conrad Zimmerman) and collaborates on initiatives like gradual verification for Rust and educational tools to teach verification concepts. Her work also explores leveraging large language models for specification generation and enhancing verification tool soundness through formal proofs.
Brenden Lake is an Associate Professor of Computer Science and Psychology at Princeton University, starting Fall 2025. Previously, he was an Associate Professor of Psychology and Data Science at New York University. He is the principal investigator of the lab for Human & Machine Intelligence, which moved from NYU to Princeton in 2025 and is jointly affiliated with the Department of Computer Science and the Department of Psychology. His lab is located in Princeton's Peretsman Scully Hall, rooms 117, 120, and 121. Ph.D., Massachusetts Institute of Technology, 2014 Lake's research focuses on the intersection of human and machine intelligence, specifically examining human cognitive abilities that elude current AI systems. His work centers on few-shot learning of new concepts, learning by generating new goals, learning by asking questions, and learning by producing novel combinations of known components. He employs modern neural network modeling approaches including meta-learning, fine-tuning LLMs, neuro-symbolic modeling, and learning from child headcam videos. His research aims to advance both psychology and computer science by exploring what makes human intelligence unique and using those insights to develop more powerful AI systems. Lake's recent publications demonstrate significant trends in grounded language acquisition through child perspectives, systematic generalization in neural networks, and the intersection of developmental psychology with AI. His work has appeared in top-tier venues including Science (2024) and Nature (2023), with multiple publications exploring how insights from human cognition can improve machine learning systems. His research shows how incorporating human cognitive ingredients can make AI systems more powerful and human-like while addressing longstanding debates about neural network capabilities. Science publication (2024) on Grounded language acquisition through the eyes and ears of a single child Nature publication (2023) on Human-like systematic generalization through a meta-learning neural network Multiple publications covered by major media outlets including New York Times and Washington Post Lake advises Ph.D. students in computer science, psychology, and related fields through his lab. His research is supported by publications in top venues across computer science and cognitive science. He teaches courses including Computational Cognitive Modeling and Advancing AI through Cognitive Science, bridging the theoretical and practical aspects of his research. Lake leads the lab for Human & Machine Intelligence, which studies the ingredients of intelligence in humans and machines. The lab investigates human cognitive abilities that current AI systems cannot replicate, with the dual goal of advancing psychological understanding of human intelligence while developing more capable artificial intelligence systems. Current research focuses on few-shot concept learning, learning through goal generation, and learning by asking questions.
Rana Hanocka is an Assistant Professor of Computer Science at the University of Chicago, leading the 3DL research group focused on AI-driven 3D geometry processing. She earned her Ph.D. in 2021 from Tel Aviv University under Professors Daniel Cohen-Or and Raja Giryes. Her work explores neural networks for unstructured 3D data, including mesh convolutional networks and self-priors for shape reconstruction. Key research areas include geometric deep learning, human-AI collaboration in 3D modeling, and interpretable neural networks. Notable contributions include MeshCNN (SIGGRAPH 2019) and Point2Mesh (NeurIPS 2020), advancing mesh analysis and point cloud processing. Awards include the 2023 Pazy Research Award and 2020 Rising Star in EECS. Education : Ph.D. Computer Science, Tel Aviv University (2021) Labs/Groups : 3DL Group at UChicago Grants : NSF Grant for AI-driven 3D modeling tools (2023) Research directions emphasize creative human-AI partnerships, unsupervised learning from shape collections, and explainable 3D neural networks. Ongoing projects include style-aware 3D synthesis, interactive segmentation, and multimodal shape interfaces.
Noah D. Goodman is Associate Professor of Psychology and Computer Science, and Linguistics (by courtesy) at Stanford University. He directs the Computation & Cognition Lab (CoCoLab) at Stanford, where he leads research on computational models of cognition, integrating logic and probability. His work spans cognitive psychology, linguistics, and computer science. Primary Appointment: Psychology Department By Courtesy: Computer Science Department and Linguistics Department Director: Computation & Cognition Lab (CoCoLab) Goodman's research focuses on computational models of cognition, with particular interest in probabilistic approaches to understanding human thought. His work integrates logic and probability to model concepts, categorization, intuitive theories, causal learning and reasoning, social cognition (including reasoning about others' goals, beliefs, and actions), cognitive development (especially acquisition of abstract knowledge), and natural language semantics and pragmatics. He has made significant contributions to the development of probabilistic programming languages as tools for cognitive modeling. His recent publications demonstrate a strong trend toward integrating probabilistic modeling with linguistic theory and social cognition. The articles span computational cognitive science, natural language processing, and artificial intelligence, with a consistent theme of using probabilistic frameworks to understand complex cognitive phenomena. Many papers explore how humans make inferences under uncertainty across different domains. Goodman teaches several courses at Stanford including Language and Thought (Psych 132), Computation and Cognition: the Probabilistic Approach (Psych 204/CS 428), Foundations of Cognition (Psych 205), and Introduction to Cognitive Science. He has also led seminars on topics ranging from natural and artificial intelligence to the science of meditation.
Christopher Potts is Professor and Chair of Linguistics at Stanford University, with a courtesy appointment as Professor of Computer Science. He serves as Director Emeritus of the Stanford Center for the Study of Language and Information (CSLI) and leads the Pragmatic Enrichment & Contextual Interface Lab. His work bridges theoretical linguistics and computational approaches to language understanding. Education: B.A. in Linguistics from New York University (1999) Ph.D. in Linguistics from University of California, Santa Cruz (2003) Potts' research focuses on how computational methods can illuminate linguistic phenomena, particularly in the areas of semantics, pragmatics, and sentiment analysis. His work explores how emotion is expressed in language and how linguistic production and interpretation are influenced by context. He has made significant contributions to understanding conventional implicatures, sentiment analysis frameworks, and the application of neural networks to linguistic problems. His recent work has increasingly focused on the interpretability of large language models and the development of frameworks like DSPy for building reliable AI systems. An analysis of Potts' recent publications reveals a strong trend toward the intersection of linguistic theory and practical AI applications. His work spans theoretical linguistics (e.g., compositionality, preposing constructions), neural network interpretability, and practical NLP systems (e.g., ColBERT, DSPy). The research demonstrates consistent focus on making language models more transparent, controllable, and linguistically informed, with particular attention to how context shapes meaning. Scientific Awards: Best Paper Award at 2024 ACL for 'Mission: Impossible Language Models' Outstanding Paper Award at 2024 ACL for 'CausalGym' ACL Test of Time Award 2023 Dean's Award for Distinguished Teaching (2015-2016) Best New Data Set or Resource Award at 2015 EMNLP Potts has secured numerous research grants as PI or Co-PI from major organizations including Google, Amazon, NSF, Office of Naval Research, and Stanford's HAI institute. His current projects focus on evaluation of retrieval-augmented generation systems, LLM-mediated communication in organizations, interpretability techniques for language models, and frameworks like DSPy for building next-generation AI systems. He has mentored numerous researchers who have gone on to make significant contributions in NLP and computational linguistics. As Director of CSLI (2013-2020) and current Chair of Linguistics at Stanford, Potts has played a key leadership role in shaping interdisciplinary research at the intersection of language, computation, and cognition. His Pragmatic Enrichment & Contextual Interface Lab continues to be a hub for innovative research combining formal linguistic theory with cutting-edge computational methods.
Ana Klimovic is an Assistant Professor at the Department of Computer Science, ETH Zürich, and Deputy Head of the Institute for Computing Platforms. She leads the Efficient Architectures and Systems Lab (EASL) and focuses on optimizing cloud computing performance and resource efficiency. Education: Ph.D. in Electrical Engineering (Stanford University), M.S. in Electrical Engineering (Stanford), B.A.Sc. in Engineering Science (University of Toronto) Previous Roles: Research Scientist at Google Brain Her research spans cloud computing, operating systems, distributed systems, and their intersection with machine learning. Key areas include cloud-native programming models, elastic storage, GPU sharing, and data pipeline optimization. The 2025-2024 articles highlight trends in serverless computing, large language model (LLM) serving, GPU optimization, and data-centric ML systems. Themes include elasticity, resource multiplexing, heterogeneous computing, and infrastructure for AI/ML workloads. Scientific Awards: Microsoft Research PhD Fellowship, Stanford Graduate Fellowship She has led research projects on ephemeral storage, distributed training automation, and cost-efficient ML preprocessing, with grants from Microsoft Research and Stanford.
Roles & Affiliations: Manolis Savva is an Associate Professor at Simon Fraser University's School of Computing Science and holds a Canada Research Chair in Computer Graphics. He leads research in 3D scene understanding, with applications in graphics, vision, and robotics. Previously, he was a researcher at Facebook AI and Princeton University. Education: Ph.D. in Computer Science (2016), Stanford University, advised by Pat Hanrahan B.A. in Physics and Computer Science (2009), Cornell University Research Interests: His work focuses on analyzing, organizing, and generating 3D content, particularly for holistic scene understanding. Key areas include articulated objects, embodied AI, and datasets like ScanNet , Matterport3D , and Habitat . His methods drive applications in robotics, autonomous agents, and virtual environments. Publications Trends: Recent work emphasizes generative models (e.g., SINGAPO for articulated object parts), embodied AI benchmarks (Habitat), and multimodal scene analysis. His papers often address challenges in scalability, realism, and cross-modal fusion for 3D environments. Awards: CHCCS Early Career Researcher Award (2022) ICLR 2023 Outstanding Paper Award ICCV 2019 Best Paper Nomination (Habitat) Advising & Grants: Supervised over 15 graduate students, many advancing to top PhD programs and tech companies. Active in grants for embodied AI, scene understanding, and robotics. Labs/Teams: Leads the 3DLG (3D Learning Group) and GrUVi (Graphics and Vision) groups at SFU. Collaborates extensively with industry (e.g., Meta, NVIDIA) on AI-driven 3D research.
Yu-Ru Lin is an Associate Professor at the School of Computing and Information, University of Pittsburgh, and serves as Research & Academic Director at the Institute for Cyber Law, Policy and Security (Pitt Cyber). She leads the Pitt Computational Social Dynamics Lab (PICSO Lab) and holds secondary appointments in Political Science, Computer Science, and the Intelligent Systems Program. PhD in Computer Science from Arizona State University Postdoctoral research at Harvard University and Northeastern University Her research focuses on computational approaches for: Networked social dynamics High-dimensional social information summarization Trust and distrust propagation Misinformation detection Policy diffusion analysis Recent publications span 2014-2020, covering: Social media crisis response Graph visualization techniques Policy diffusion patterns Misinformation mitigation Temporal topic modeling Scientific support includes: National Science Foundation (NSF) awards Minerva/ONR funding AFOSR grant for distrust modeling DARPA Understanding Group Biases program As director of PICSO Lab, she leads interdisciplinary research teams on: Digital accountability Urban mobility patterns Health informatics via crowdsourcing Trust-influence dynamics
John B. Whitman is a Professor of Linguistics at Cornell University's College of Arts and Sciences. His research focuses on language variation, syntax, historical linguistics, and East Asian languages, particularly Japanese and Korean. He explores typological universals, syntactic variation, and diachronic developments, contributing to debates on configurationality and structural universals. Whitman has published extensively on topics ranging from Japanese historical phonology to comparative syntax across East Asian languages. His work often integrates cross-linguistic analysis with neuroscientific insights, as seen in studies on semantic number processing. He has received grants for projects including language revitalization initiatives and syntactic research, and he teaches courses on Japanese language history and language endangerment. Whitman collaborates with interdisciplinary teams and actively engages in linguistic fieldwork and historical text analysis, maintaining affiliations with the East Asia Program and research labs at Cornell. Research interests include syntactic variation, historical syntax, and the interaction between language structure and diachronic change. His recent work examines the evolution of verbal conjugations in Japanese/Korean and the typological implications of syntactic reanalysis. Whitman's publications also address methodological questions in glossing practices and comparative lexicography, bridging historical linguistics with modern computational analysis. Grants and projects include funding from the New Frontier Grants for collaborative research on language documentation and historical syntax. He advises graduate students in the linguistics program and contributes to Cornell's language revitalization efforts, such as Cayuga language preservation initiatives. Whitman's work frequently intersects with cognitive science, as seen in neuroimaging studies of linguistic structures.
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.
Elisa Ricci is a Full Professor at the Department of Information Engineering and Computer Science (DISI) at the University of Trento and serves as Head of the Research Unit Deep Visual Learning at Fondazione Bruno Kessler. She coordinates the Doctoral Program in Information Engineering and Computer Science at the University of Trento and holds prestigious fellowships from ELLIS and IAPR. Her research focuses on advancing computer vision and deep learning systems capable of operating in open-world environments. Key interests include domain adaptation, continual learning, and self-supervised learning for visual and multi-modal data processing. Her work addresses critical challenges in enabling machines to adapt to new domains without forgetting prior knowledge, with applications spanning robotics perception, medical imaging, and privacy-preserving AI systems. Recent publications reveal a dominant trend toward leveraging vision-language models for open-vocabulary tasks, training-free adaptation methods, and federated learning architectures. Significant research thrusts include machine unlearning for privacy, robustness against bias in visual classifiers, and novel class discovery using foundation models—particularly evident in 2025 publications addressing medical imaging, 3D segmentation, and collaborative generative systems. Her major recognitions include: ELLIS Fellow IAPR Fellow As Doctoral Program Coordinator at the University of Trento, she oversees PhD training while leading the Deep Visual Learning unit at Fondazione Bruno Kessler. Her research group secures competitive grants in AI-driven perception systems, though specific funding sources aren't detailed in the source material. The Deep Visual Learning Research Unit specializes in open-world computer vision challenges, developing frameworks for domain adaptation, continual learning, and multi-modal perception. Current projects integrate generative models with robotics applications while addressing privacy concerns in vision-language systems through unlearning techniques.
Roberto Navigli is a Full Professor in the Department of Computer, Control and Management Engineering at Sapienza University of Rome, where he leads the Sapienza NLP Group. He has held academic positions at Sapienza since 2007, progressing from Researcher to Associate Professor, and now Full Professor. Navigli is internationally recognized for his groundbreaking work in multilingual natural language processing and computational semantics. His research spans multiple areas within Natural Language Processing, with a particular focus on multilinguality , lexical semantics (Word Sense Disambiguation and induction), sentence-level semantics (Semantic Role Labeling and Semantic Parsing), and Large Language Models . As the leader of the Minerva LLM project, he pioneered the development of the first pretrained LLM in Italian. His creation of BabelNet, the largest multilingual encyclopedic computational dictionary covering 271 languages and about 14 million concepts, represents a landmark achievement in computational linguistics. Professor Navigli's recent publications demonstrate a strong focus on advancing multilingual capabilities of language models, addressing challenges in semantic understanding across languages, and developing robust evaluation frameworks. His work on Italian LLM optimization, lexical ambiguity in machine translation, and cross-lingual safety gaps reflects his commitment to building more accurate and reliable language technologies that work effectively across diverse linguistic contexts. AAAI Fellow (2025) EurAI Fellow (2024) ELLIS Fellow (2024) ACL Fellow (2023) Outstanding Paper Awards at ACL 2024, ACL 2023, and NAACL 2021 Best Resource Paper Award at ACL 2022 Prominent Paper Awards from the Artificial Intelligence Journal (2023, 2017) META Prize 2015 for BabelNet Professor Navigli has successfully secured substantial research funding, including two prestigious ERC Grants (MultiJEDI ERC Starting Grant 2010-2016 and MOUSSE ERC Consolidator Grant 2017-2023, totaling around 3 million euros), PI of PRIN 2017 and PRIN 2020 projects (overall 1.4 million euros), and a Google Focused Research Award (around 300k$). He has mentored over 30 PhD students, many of whom have gone on to successful careers in academia and industry. His leadership extends to major international conferences, serving as General Chair of ACL 2025 and Program Co-Chair of ACL-IJCNLP 2021. As the director of the Sapienza NLP Group and co-leader of the Transversal Project on Large Language/Multimodal Models in the FAIR (Future Artificial Intelligence Research) project, Professor Navigli oversees a vibrant research ecosystem focused on advancing the state-of-the-art in natural language understanding across languages. His spinoff company, Babelscape, translates academic research into practical applications for industry.
Xavier Serra is a Full Professor at the Department of Engineering at Universitat Pompeu Fabra (UPF), Barcelona. He is the founder and director of the Music Technology Group (MTG), and leads the UPF-BMAT Chair on AI and Music. He also coordinates the Master in Sound and Music Computing and serves as President of the Phonos Foundation. His research focuses on audio signal processing, sound and music computing, and computational musicology, emphasizing open science and open innovation. Education: BSc in Biology, University of Barcelona (1981) Master in Music, Florida State University (1983) PhD in Computer Music, Stanford University (1989) Research Interests: Audio Signal Processing Data-Driven and Knowledge-Driven Methodologies Music Information Retrieval Cultural Music Analysis (e.g., Carnatic/Turkish/Andalusian Music) Music Education Technology Notable Projects: CompMusic (ERC Advanced Grant, 2010-2017): Multicultural computational music analysis Open datasets: Freesound, Saraga, FSD50K Technologies: Reactable, Vocaloid, Essentia API Recent Trends in Articles: Focus on AI-driven audio processing (neural fingerprints, generative models), cross-cultural music analysis, and explainable music difficulty estimation. Awards: ERC Advanced Grant (2010) for CompMusic Project. Labs/Teams: Director of MTG, Phonos Foundation, and UPF-BMAT Chair. Active in open-source projects and international collaborations.
James McCann is an Associate Professor at the Carnegie Mellon Robotics Institute, where he leads the Carnegie Mellon Textiles Lab. He has been a faculty member since May 2017 after working at Disney Research Pittsburgh. McCann's academic journey includes a PhD from Carnegie Mellon advised by Nancy Pollard, followed by a postdoc at Adobe Research and a period developing video games. McCann's research focuses on building creative tools that operate in real-time and build user intuition, with particular emphasis on textiles fabrication and machine knitting. His work spans computer-aided fabrication, simulation, graphics, and creative tools development. He has pioneered systems for machine knitting design, including compilers for knitting instructions and tools for automatic conversion of 3D meshes to knitting patterns. His recent publications demonstrate a strong trend toward computational textiles, with significant contributions to knitting semantics, deployable textile structures, and applications of machine knitting in healthcare and robotics. McCann's work bridges computer science, robotics, and textile arts, creating practical systems for once-off manufacturing with industrial knitting machines. McCann actively mentors students, with current PhD candidates working on solid knitting machines, knit calibration, and assistive devices. His teaching portfolio includes courses on Real-Time Graphics, Algorithmic Textiles Design, and Game Programming. He has taught at CMU since 2017, developing innovative courses that blend computer science with physical fabrication. As director of the Textiles Lab, McCann oversees research projects spanning machine knitting, robotic painting, and real-time graphics systems. His lab develops practical tools for creators, emphasizing intuitive interfaces and real-time feedback that lower barriers to advanced fabrication techniques.
Gail E. Kaiser is a Professor of Computer Science and the Director of the Programming Systems Laboratory (PSL) in the Computer Science Department at Columbia University. She has been with Columbia University since 1985, becoming a full Professor in 1998. Prof. Kaiser's research spans software engineering, program analysis, software testing, and software security, with recent focus on addressing challenges in AI/ML systems testing and security. Prof. Kaiser received her PhD in Computer Science from Carnegie Mellon University in 1985 and her ScB in Computer Science and Engineering from MIT in 1979. Her dissertation at CMU was titled "Semantics for Structure Editing Environments" under advisor Nico Habermann, and at MIT she completed "Automatic Extension of an Augmented Transition Network Grammar for Morse Code Conversations" under advisor Al Vezza. Prof. Kaiser's research interests primarily focus on software engineering following a systems building approach, with recent emphasis on static and dynamic program analysis techniques to improve software reliability and security. Since 2005, she has investigated testing "non-testable" programs, particularly in machine learning, data mining, and scientific computing applications where traditional testing oracles are insufficient. She has developed novel techniques and tools for detecting bugs and verifying repairs in complex systems. Concurrently, she has worked on collaboration environments for computational scientists, creating knowledge sharing and domain-aware environments to support scientific workflows. Prof. Kaiser's recent publications demonstrate a strong focus on the intersection of software engineering and artificial intelligence. Her work addresses critical challenges in testing AI systems, code understanding through deep learning, vulnerability detection, and educational tools for computational thinking. There's a clear evolution from traditional software engineering topics toward AI/ML applications, with particular emphasis on metamorphic testing for non-testable systems, code similarity analysis, and educational applications. Prof. Kaiser has received numerous prestigious awards throughout her career: Distinguished Journal Award (10 Years) from 18th IEEE International Conference on Software Testing, Verification and Validation (ICST), April 2025 Best Research Paper Award at 24th IEEE International Conference on Source Code Analysis & Manipulation (SCAM), October 2024 Distinguished Reviewer Awards for ASE 2024 and FSE 2024 ACM SIGSOFT Distinguished Paper Award for "CONCORD: Clone-aware Contrastive Learning for Source Code", July 2023 Best Student Paper Award at ICCE 2021 Multiple ACM SIGSOFT Distinguished Paper Awards dating back to 2014 Presidential Young Investigator in Software Engineering and Software Systems from NSF (1988-1993) Prof. Kaiser has chaired Columbia's doctoral program since 1997 and served on editorial boards including IEEE Internet Computing and as a founding associate editor of ACM Transactions on Software Engineering and Methodology. Her lab has been continuously funded by major agencies including NSF, NIH, DARPA, ONR, NASA, and numerous companies. Current grants include significant NSF funding for secure containers architecture, learning semantics of code for software assurance, and finding semantic security bugs. As Director of the Programming Systems Laboratory (PSL), Prof. Kaiser leads research in software systems, program analysis, and software testing. The lab has developed numerous tools and techniques for software reliability and security, with recent focus on challenges in AI/ML systems. Her work bridges theoretical foundations with practical applications, often resulting in deployable tools that address real-world software engineering challenges.
