Find Academic Supervisors

Matthew Louis MaurielloView profile

Assistant Professor

• Human-Computer Interaction
• Ubiquitous Computing
• Sustainability
• +7 more

Matthew Louis Mauriello is an Assistant Professor in the Department of Computer and Information Sciences at the University of Delaware , where he directs the Sensify Lab . He holds a PhD in Computer Science from the University of Maryland (2018) and completed postdoctoral work at Stanford University (School of Medicine, 2020; School of Public Policy & Environmental Engineering Department, 2019). Research interests span Human-Computer Interaction (HCI), Ubiquitous Computing, and User-Centered Design with applications in: Sustainability Human-Building Interaction Wearable Technology Personal Informatics Educational Game Design Mental Health Interventions Recent publications highlight trends in stress monitoring (skin-like biosensors, workplace wellbeing), energy auditing (thermography systems), and educational technology (block-based programming tools for teachers). His work appears in ACM CHI, ACM Human-Computer Interaction, and Building and Environment. Scientific awards include: Best Paper Honorable Mention, CHI 2016 Best Paper Honorable Mention, CHI 2015 Best of WebSci'18 Teaching at University of Delaware encompasses courses like Educational Game Design Operating Systems Advanced Web Technologies Computing for Social Good with a focus on project-based learning and systems thinking.

Diyi YangView profile

Assistant Professor

• Computational Social Science
• Natural Language Processing
• Socially Aware NLP
• +4 more

Dr. Diyi Yang is an Assistant Professor in the Computer Science Department at Stanford University. She leads the Social and Language Technologies (SALT) Lab, affiliated with the Stanford NLP Group, Stanford HCI Group, Stanford AI Lab (SAIL), and Stanford Human-Centered Artificial Intelligence (HAI). Her research focuses on socially aware natural language processing, large language models (LLMs), and human-AI interaction, aiming to improve human-human and human-computer communication through socially grounded AI systems. Education: Ph.D. in Language Technologies Institute, Carnegie Mellon University (2013–2019) B.S. in ACM Honored Class, Shanghai Jiao Tong University (2009–2013) Research Interests: Dr. Yang’s work bridges computational social science and NLP. She explores how AI can understand social contexts in language use and develop systems that respect cultural norms, ethical standards, and human values. Her lab’s projects include AI companions for skill training (e.g., Rehearsal Dialects), norm-aware LLMs (NormBank), and frameworks for human-AI collaboration (Co-Gym). Recent efforts address bias in AI, societal impacts of LLMs, and ethical evaluation of human-AI systems. Awards & Honors: 2024: Sloan Research Fellowship, ONR Young Investigator Award 2023: Adamic-Glance Young Distinguished Award (ICWSM), Kavli Fellow (NAS) 2022: NSF CAREER Award, Microsoft Research Faculty Fellow 2020: IEEE AI’s 10 to Watch Advising & Grants: Dr. Yang advises over 10 PhD students and postdocs, co-leading projects on LLM evaluation (SWE-bench/SWE-smith), human-AI ethics, and culturally aware NLP. Her research is supported by NSF, Amazon, DARPA, Google, and Stanford’s HAI initiative. Labs & Teams: The SALT Lab collaborates across disciplines, with projects spanning computer science, linguistics, and social sciences. Current initiatives include developing AI tools for mental health support (AI Partner & Mentor) and auditing societal impacts of LLMs.

Blase UrView profile

Associate Professor

• Computer Security
• Privacy
• Human-Computer Interaction (HCI)
• +4 more

Blase Ur is an Associate Professor of Computer Science at the University of Chicago, leading the UChicago SUPERgroup (Security, Usability, & Privacy Education & Research group). His research focuses on data-driven methods to improve online security, privacy, and usability of complex systems. He holds a PhD from Carnegie Mellon University and an AB from Harvard University. Education: PhD in Societal Computing, Carnegie Mellon University (2016) AB in Computer Science, Harvard University Research Interests: Blase's work spans computer security, privacy, HCI, and ethical AI. He develops tools like password meters, privacy transparency systems, and IoT security solutions. His SUPERgroup emphasizes interdisciplinary collaboration, with projects addressing data-driven decision-making and usability challenges in AI and IoT. Articles Trends: Recent work includes studies on ad transparency systems, user perceptions of privacy in AI, and barriers to passwordless authentication. Research often combines empirical user studies with technical implementations to bridge gaps between security mechanisms and user needs. Awards: NSF CAREER Award (2021) Quantrell Award for Teaching (2021) SIGCHI Outstanding Dissertation Award (2018) Advising & Grants: Advisor to PhD students like Kevin Bryson. Secured grants from NSF, Mozilla, and Meta. Active in outreach to broaden CS participation, including K-12 programs. Labs & Teams: Co-director of the SUPERgroup and affiliated with the Systems Group and CERES Center for Unstoppable Computing at UChicago.

April Yi WangView profile

Assistant Professor

• Human-Computer Interaction
• Educational Technology
• Programming Support
• +4 more

April Yi Wang is a tenure-track Assistant Professor in the Department of Computer Science at ETH Zürich, where she directs the Programming, Education, and Computer-Human Interaction Lab (PEACH Lab). She is a core faculty member at the Institute for Intelligent Interactive Systems and associated with the ETH AI Center. Wang is also an active member of ETH HCI and Swiss CHI communities, contributing significantly to human-computer interaction and educational technology research. Dr. Wang's educational background includes: Ph.D. in Information Science from University of Michigan (2023), advised by Steve Oney and Christopher Brooks M.Sc. in Computer Science from Simon Fraser University (2018), advised by Parmit Chilana B.Eng in Computer Science from Zhejiang University (2016) Dr. Wang's research focuses on human-centered approaches to programming and data science. Her work reimagines programming as a form of literature that communicates with both machines and people, exploring creative representations like text, shapes, animations, and everyday objects. She investigates how to make programming more natural and intuitive through literate programming environments, with applications in professional and educational contexts. Her research spans human-computer interaction, educational technology, and AI-assisted programming tools. Analysis of Dr. Wang's recent publications reveals a strong focus on AI-enhanced educational tools, particularly for programming and data literacy. Her work increasingly integrates large language models to scaffold learning while maintaining user agency. There's a clear trajectory toward developing situated learning approaches that connect abstract concepts to real-world contexts through augmented reality and tangible interfaces. Her research bridges HCI, education, and AI to create more accessible and engaging technical learning experiences. Dr. Wang has received numerous prestigious awards including: 2023 Gary M. Olson Award and Honourable Mention Award at ACM CHI 2022 Rising Stars in EECS and Heidelberg Laureate Forum Young Researcher 2020 Best Short Paper Award at IEEE VL/HCC and Honourable Mention at ACM CHI 2019 Best Paper Award at ACM CSCW Dr. Wang actively mentors students through thesis projects at ETH Zürich, supervising numerous bachelor's and master's students on topics ranging from AI-assisted programming to data literacy tools. Her lab, PEACH Lab, has secured funding including the recent innovedum funding for the Coducate project. She serves on program committees for major conferences including CHI and UIST, and regularly reviews for top HCI and education journals. The PEACH Lab, directed by Dr. Wang, focuses on creating expressive, intelligent, and human-centered systems that make technical topics more accessible. The lab explores textual, visual, and embodied representations for programming, with emphasis on enhancing communication, collaboration, and learning. Current research directions include balancing automation with user agency, supporting diverse learning needs, and developing tools for interdisciplinary technical communication.

Xiangyu ZhangView profile

Professor

• AI Security
• Software Engineering
• Programming Languages and Compilers
• +5 more

Xiangyu Zhang is the Samuel D. Conte Professor of Computer Science at Purdue University. He specializes in AI security, software analysis, and cyber forensics, with a focus on detecting vulnerabilities in traditional software and AI systems. His research includes dynamic slicing, program profiling, and securing AI models against backdoors. He has led projects funded by DARPA, IARPA, NSF, and industry, securing over $13 million in grants. He has mentored 30+ PhD students and postdocs, many of whom hold academic positions or industry roles. His work has been recognized with awards like the ACM SIGPLAN Distinguished Dissertation Award and NSF Career Award. Education: PhD, Computer Science, University of Arizona (2006) MS & BS, Computer Science, University of Science and Technology of China (2000 & 1998) Research Interests: AI Security: backdoor detection, adversarial attacks, model integrity Program Analysis: dynamic slicing, static/dynamic debugging Cyber Forensics: log analysis, attack investigation Software Reliability: fault localization, vulnerability detection Key Projects: DARPA V-SPELLS: domain-specific program analysis IARPA TrojAI: AI backdoor detection competitions NSF-funded research on model debugging and co-reasoning of software/NL artifacts Awards & Recognition: Top performer in IARPA TrojAI competitions (13/18 rounds) ACM SIGPLAN Distinguished Dissertation Award (2006) NSF Career Award (2009) Ranked 8th globally in systems research productivity (2024) Career Contributions: Secured over $13M in research funding Guided 25 PhDs and 8 postdocs Published 89+ top-tier papers (2014–2024)

• Machine Learning
• Adversarial Robustness
• Computer Vision
• +4 more

Matthias Hein is a Professor at the Department of Computer Science, Faculty of Mathematics and Natural Sciences, University of Tübingen. His research focuses on Machine Learning , Adversarial Robustness , and Out-of-Distribution Detection , with applications in computer vision and medical imaging. He has received notable recognition including the Best Paper Honorable Mention Prize at ICLR 2021 and Outstanding Paper Award at CVPR 2021. His work includes developing benchmarks like RobustBench and Spurious ImageNet , and frameworks such as Sparse-RS and DIG-IN . His recent publications emphasize adversarial robustness across multiple domains (vision, text), counterfactual explanations for classifiers, and improved OOD detection methods . Collaborators include prominent researchers like Francesco Croce, Julian Bitterwolf, and Alexander Meinke. Scientific Awards : Best Paper Honorable Mention (ICLR 2021) CVPR 2021 Outstanding Paper Award Key Research Areas : Adversarial Robustness Vision-Language Models Medical Imaging AI Neural Network Calibration

Christopher PottsView profile

Professor

• Computational Linguistics
• Natural Language Processing
• Semantics
• +5 more

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.

Karthik R. NarasimhanView profile

Professor

• Language Agents
• Reinforcement Learning
• Natural Language Processing
• +3 more

Karthik R. Narasimhan is a Professor at Princeton University's School of Engineering and Applied Science in the Department of Computer Science. Previously, he earned his PhD from MIT under Regina Barzilay and served as a visiting research scientist at OpenAI during 2017-18. His research focuses on the intersection of language and decision-making, building autonomous agents that learn from both experience and human knowledge. His research spans multiple high-impact areas including language agents (Text-DQN, CALM, ReAct, Tree of Thoughts), reinforcement learning (h-DQN, Multi-Objective RL), and AI safety (Toxicity in ChatGPT, DataMUX). He has developed critical datasets and benchmarks such as WebShop, InterCode, SWE-bench, and SILG that have become standard evaluation tools in the field. Current work emphasizes agent capabilities, software engineering automation, and multimodal interaction. His publication trends show strong focus on practical agent deployment (SWE-agent, Tree of Thoughts), safety evaluation (Probing AI Safety), and efficiency improvements (DataMUX). Recent work increasingly addresses real-world challenges in software engineering, security, and human-AI collaboration through rigorous benchmarking. Co-author of foundational GPT (2018) paper Key developer of Text-DQN (2015), CALM (2020), ReAct (2022), Tree of Thoughts (2023) Creator of influential benchmarks: WebShop (2022), SWE-bench (2023), InterCode (2023) He actively advises students through Princeton's computer science program, with research supported by multiple grants focused on autonomous agent development and language-based decision systems. His GitHub repositories (nlp-datasets, text-world-player) demonstrate strong community engagement in open-source research tools. Current projects include advancing language agent capabilities through Reflexion (2023) and Tree of Thoughts (2023) frameworks while addressing critical safety and efficiency challenges.

Lin TanView profile

Professor

• Software-AI synergy
• Software dependability
• Software engineering
• +7 more

Lin Tan is a Professor of Computer Science at Purdue University , holding the Mary J. Elmore New Frontiers Professorship . She joined Purdue in 2019 after serving as a Canada Research Chair and associate professor at the University of Waterloo. She is an ACM Distinguished Member and IEEE Senior Member . Education: PhD in Computer Science, University of Illinois Urbana-Champaign BS in Computer Science and Technology, Zhejiang University Research Interests: Professor Tan’s research lies at the intersection of software engineering , artificial intelligence , and security . Her work focuses on software-AI synergy , software dependability , defect detection & repair , and software text analytics . She leverages machine learning and natural language processing to enhance software reliability, and conversely uses software techniques to improve the dependability of AI systems. Her recent projects include building binary foundation models (Nova), evaluating large language models for code generation and repair, and developing interactive debugging tools that reduce debugging time by one-third. She also explores robot task planning with LLMs and automated front-end development . Awards & Honors: Best Paper Award Finalist, ICRA 2025 ELATES Fellow, 2024-2025 ACM SIGSAC Distinguished Paper Award, CCS 2024 J.P.Morgan AI Faculty Research Awards (2020, 2021, 2022) ACM SIGSOFT Distinguished Paper Awards (ASE 2020, MSR 2018, FSE 2016) Canada Research Chair (2017) Ontario Early Researcher Award (2015) NSERC Discovery Accelerator Supplements Award (2015) Google Faculty Research Awards (2010, 2014) IEEE Micro Top Picks (2006) Advising & Funding: Professor Tan currently advises eight PhD students and has graduated 20+ PhD and Master’s students now thriving in academia (York University, Concordia University, University of Alberta) and industry (Microsoft, Meta, Amazon, Google). Her group is generously supported by NSF , Meta/Facebook Research Awards , J.P.Morgan AI Faculty Awards , and NSF REU programs. Labs & Teams: She leads the Software Reliability & AI Lab at Purdue, recruiting postdocs, PhD, MS, and undergraduate researchers year-round. Lab interests span binary recovery , LLM-based program repair , testing deep-learning libraries , and data-free model extraction .

Adriana SchulzView profile

Assistant Professor

• Computational Design
• Computer-Aided Design (CAD)
• Digital Fabrication
• +4 more

Adriana Schulz is an Assistant Professor in the Department of Computer Science & Engineering at the University of Washington's College of Engineering. She leads a research group focused on computational design, computer-aided design (CAD), and digital fabrication. Her work bridges computer science with practical applications in manufacturing, robotics, and sustainable design. Dr. Schulz received her Ph.D. in Computer Science from MIT in 2018 under the supervision of Professor Wojciech Matusik. Prior to her doctoral studies, she earned a Master's degree in Mathematics from IMPA (Instituto Nacional de Matemática Pura e Aplicada) in Rio de Janeiro, where she worked with Professor Luiz Velho, and a Bachelor's degree in Electronics Engineering from UFRJ (Federal University of Rio de Janeiro). Her research interests center around computational tools that enhance design and manufacturing processes. She develops novel algorithms for CAD systems, computational fabrication techniques, and sustainable design approaches. Her work spans multiple domains including robotics, textiles, electronics, and architecture, with a strong emphasis on creating practical tools that designers and engineers can use in real-world applications. She explores how machine learning, particularly neurosymbolic approaches, can improve design workflows and enable new capabilities in computational design systems. Analysis of her recent publications reveals a strong trend toward more intelligent and user-centered design tools. Her research increasingly integrates machine learning with traditional CAD systems to create more intuitive interfaces, supports sustainable design practices with computational tools, and develops novel fabrication techniques that push the boundaries of what's possible with digital manufacturing. She has made significant contributions to zero-waste fashion design, immersion cooling for high-performance computing, and CAD program understanding through novel representation learning techniques. Innovators Under 35 - MIT Technology Review Bolsa Aluno Nota 10 from FAPERJ Engineer 20000 award Dr. Schulz actively mentors several PhD students and postdoctoral researchers, including Haisen Zhao, Ben Jones, Yuxuan Mei, and others, often in collaboration with colleagues across different departments. Her research has attracted significant media attention, with coverage in major outlets including MIT News, BBC, IEEE Spectrum, Wired, and TechCrunch. Her work on Interactive Robogami was noted as the most read article in the International Journal of Robotics Research in its publication year. She leads a vibrant research group at the University of Washington that focuses on computational design systems, with particular emphasis on creating tools that bridge the gap between digital design and physical fabrication. Her team develops novel algorithms for CAD systems, computational fabrication techniques, and sustainable design approaches that have practical applications across multiple industries.

Nadia PolikarpovaView profile

Associate Professor

• Program Synthesis
• Program Verification
• Type Systems
• +5 more

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.

• Reconfigurable Computing
• FPGA Architectures
• Computer Security
• +6 more

André DeHon is the Oliver C. Boileau Jr. and Nan Eleze Boileau Professor of Electrical Engineering at the University of Pennsylvania, affiliated with Electrical and Systems Engineering (ESE) and Computer and Information Science (CIS). He chairs the Computer Engineering (CMPE) program and directs the CyberSavvy Security Center. His research focuses on reconfigurable computing, FPGA architectures, computer security, and energy-efficient hardware design. He holds a Ph.D. and M.S. from MIT and a B.S. from MIT's Lincoln School. Research interests include reconfigurable computing, FPGA interconnect, hardware security, and fault-tolerant systems. Notable achievements include the SEVER & PROTECT DARPA award and IEEE/ACM Fellowships. Recent work addresses fast FPGA compilation (HiPR, PLD), security through compartmentalization (μSCOPE, SCALPEL), and partial reconfiguration techniques. Teaching includes courses on hardware security, system-on-chip architecture, and digital audio basics. Over 200 publications span FPGA design, network-on-chip optimization, and molecular-scale computing. His labs (Implementation of Computation Group) explore physical implementation of computations through hardware-software co-design.

Toby Jia-Jun LiView profile

Assistant Professor

• Human-Computer Interaction
• Artificial Intelligence
• Machine Learning
• +6 more

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.

Kyle JamiesonView profile

Professor

• Wireless Networks
• 5G Technology
• Quantum Computing in Communications
• +3 more

Dr. Kyle Jamieson is a Professor of Computer Science at Princeton University, leading the Princeton Advanced Wireless Systems (PAWS) lab within the Department of Computer Science. He is also Affiliated Faculty in the Department of Electrical and Computer Engineering. His research focuses on wireless networking systems, 5G architecture, IoT networks, and quantum computing applications in wireless communication. He has pioneered work in reconfigurable intelligent surfaces, MIMO detection algorithms, and metamaterials for millimeter-wave networks. Dr. Jamieson has developed courses such as COS 597S: Recent Advances in Wireless Networks (graduate seminar), COS 463: Wireless Networks , and COS 418: Distributed Systems . His teaching emphasizes interdisciplinary approaches to networking challenges, including physical-layer design, computational structures for wireless processing, and cross-layer optimization. His lab’s research spans smart surfaces for 5G networks, quantum annealing for MIMO processing, and edge computing for live video analytics. Recent work includes deploying reconfigurable metamaterials for enhanced mmWave networks and developing tools like NR-Scope for 5G telemetry. While no awards are listed in the provided text, his contributions to wireless systems have advanced both academic and industrial applications in areas such as network resilience, IoT scalability, and quantum-enabled wireless processing. Dr. Jamieson’s advising focuses on graduate and undergraduate students working in wireless systems, though specific advisee names are not provided. His lab collaborates on projects like Wall-Street for roadside networking and Spider for multi-hop mmWave video analytics. External collaborations include work with Microsoft Research and guest lecturing roles at Berkeley. His research bridges theoretical foundations with practical implementations, often addressing real-world challenges in wireless infrastructure and next-generation communication systems.

Juan ZhaiView profile

Assistant Professor

• Software Engineering
• Program Languages
• Natural Language Processing
• +6 more

Juan Zhai is an Assistant Professor in the Manning College of Information and Computer Sciences (CICS) at the University of Massachusetts Amherst. She co-directs the Laboratory for Advanced Software Engineering Research (LASER) and is a member of the UMass NLP group. Her research advances software engineering through automated techniques for building high-quality systems with emphasis on behavioral specifications, AI safety, and trustworthy AI. Her work addresses the fundamental challenge of aligning software behavior with intended specifications through two main directions: automated specification synthesis (translating natural language comments to formal specifications via tools like C2S and LLMCup) and defect detection/repair (developing frameworks for AI system testing, bias mitigation, and training diagnostics). Her vision integrates these into end-to-end assurance systems that continuously validate, repair, and audit evolving software in dynamic environments. Recent publications (2024-2025) reveal dominant trends at the software engineering/AI intersection: formal specification synthesis for IoT and code generation, comment maintenance using LLMs, deep learning framework testing (DevMuT, Citadel), bias detection in LLMs, and automated training repair (AutoTrainer, DREAM). These contributions appear in top venues including ICSE, FSE, ASE, ISSTA, and ACL. Professor Zhai currently advises PhD student Gehao Zhang (focusing on Software Engineering and AI Safety) and actively recruits new PhD/Master's students. Her LASER lab develops practical tools for specification inference, LLM-driven synthesis, and trustworthy AI, while collaborating with the UMass NLP group on language-centric software analysis. The LASER lab, co-directed by Zhai, pioneers techniques for behavioral specification enforcement across traditional and AI-powered systems. Key projects include CPC for bidirectional code-comment analysis, ModelMeta for deep learning framework testing, and frameworks for bias mitigation across the ML lifecycle. The lab emphasizes practical, scalable tools that enhance correctness, robustness, and fairness in critical AI applications.