جست‌وجوی استاد و پژوهشگر

Kaki Ryanمشاهده پروفایل

استادیار

• Hardware Security
• Symbolic Execution
• Computer Science Education
• +۳ مورد دیگر

Kaki Ryan is a Teaching Assistant Professor at the Department of Computer Science, University of North Carolina at Chapel Hill. She holds a Ph.D. (2025), M.S. (2021), and B.S. (2020) from UNC, with a minor in AAAD. Her research focuses on hardware security, symbolic execution, and computer science education. Education Ph.D., 2025, UNC-Chapel Hill M.S., 2021, UNC-Chapel Hill B.S., 2020, UNC-Chapel Hill (Computer Science and Mathematics) Ryan's research centers on hardware security, particularly using symbolic execution to identify bugs and vulnerabilities in hardware designs. She also emphasizes broadening participation in computing and improving pedagogical strategies in computer science education. Her recent publications (2023-2025) explore symbolic execution techniques for hardware security verification, including query caching, information flow analysis, and path explosion mitigation. These works span conferences like ASPLOS, VTS, FMCAD, and workshops such as HASP. Scientific Awards John M. Glotzer Graduate Teaching Assistant Award (2020-2021) Tanner Award for Excellence in Undergraduate Teaching (2022) As an educator, Ryan has served as Instructor of Record for COMP 435 (Computer Security Concepts) and COMP 311 (Computer Organization) in Fall 2025. She has extensive teaching experience as a Graduate Teaching Assistant, Head Teaching Assistant, and Undergraduate Teaching Assistant for courses like COMP 210, COMP 110, and COMP 435, with a focus on data structures, security concepts, and programming fundamentals.

Celestine Mendler-Dünnerمشاهده پروفایل

استاد

• Machine Learning in Social Context
• Algorithmic Collective Action
• Performative Prediction
• +۶ مورد دیگر

Celestine Mendler-Dünner is a Principal Investigator at the ELLIS Institute in Tübingen, co-affiliated with the Max Planck Institute for Intelligent Systems and the Tübingen AI Center. She leads the Algorithms and Society research group, focusing on machine learning in social contexts and the role of prediction in digital economies. Her work bridges theoretical machine learning with practical societal impact, developing tools for safe, reliable, and equitable AI ecosystems. Her educational background includes a PhD from ETH Zurich in collaboration with IBM Research, followed by an SNSF postdoctoral fellowship at UC Berkeley hosted by Moritz Hardt. She was previously a group leader at the Max Planck Institute for Intelligent Systems before joining the ELLIS Institute. Mendler-Dünner's research spans several interconnected themes including performative prediction (where predictions change the behavior they aim to predict), algorithmic collective action (how participants can steer AI systems toward common goals), and the role of LLMs in social science research. Her work combines theoretical foundations with practical implementations, addressing challenges in interactive machine learning, optimization in dynamic environments, and context-specific evaluation of AI systems. She particularly examines how algorithmic predictions mediate services and platforms at societal scale, exploring concepts of economic power in digital markets. Her publication record shows a clear evolution from system-aware machine learning algorithms (including foundational work on IBM Snap ML) toward increasingly sociotechnical questions at the intersection of machine learning, economics, and policy. Recent work focuses on measuring performative power in digital economies, evaluating LLMs as risk scores, and developing frameworks for algorithmic collective action in recommender systems and labor markets. Among her notable recognitions are the ETH Medal for her dissertation, the IBM Research Division Award, the Fritz Kutter Award, and the IBM Eminence and Excellence Award. She is an ELLIS Scholar, a fellow of the Elisabeth-Schiemann-Kolleg, and affiliated with several prestigious research programs including the International Max Planck Research School for Intelligent Systems and the Max Planck ETH Center for Learning Systems. ETH Medal (dissertation award) IBM Research Division Award Fritz Kutter Award IBM Eminence and Excellence Award SNSF Early Postdoc Mobility Fellowship Mendler-Dünner actively mentors the next generation of researchers, advising PhD student Patrik Wolf and supervising research interns including Joachim Baumann, Haiqing Zhu, and Anna Badalyan, as well as Master's student Dorothee Sigg. She serves as core faculty for the International Max Planck Research School and associated faculty for the Max Planck ETH Center for Learning Systems. Her group has secured significant research funding through fellowships and institutional support, enabling work on projects like Powermeter (measuring search engine influence) and Snap ML (resource-efficient machine learning library with over 1 million PyPI downloads). She leads the Algorithms and Society research group, which examines machine learning as part of broader sociotechnical ecosystems. The group explores human-population interactions with algorithmic systems and incorporates these insights into learning system fundamentals. Current projects include investigating economic incentives in digital platforms, developing tools for systematic LLM evaluation in social science contexts, and creating frameworks for collective action in algorithmic systems. Mendler-Dünner also co-organizes the Algorithmic Collective Action workshop at NeurIPS 2025, demonstrating her leadership in emerging research directions at the AI-society interface.

Yamin Zhangمشاهده پروفایل

استادیار

• Bioelectronics
• Bioresorbable Medical Devices
• Electrotherapy
• +۶ مورد دیگر

Dr. Yamin Zhang (张亚敏) holds a Presidential Young Professorship as an Assistant Professor in the Department of Chemical & Biomolecular Engineering at the National University of Singapore (NUS), College of Engineering. She leads the Zhang Group which focuses on interdisciplinary research at the intersection of electrochemistry, materials science, and biomedical engineering. 07/2023 – 01/2024: Research Associate, Northwestern University 02/2021 – 06/2023: Postdoctoral Fellow, Northwestern University 08/2016 – 12/2020: Ph.D., Chemical Engineering, Georgia Institute of Technology 09/2012 – 07/2016: B.S., Chemical Engineering, Tianjin University; B.S., Finance (Double Major), Nankai University Dr. Zhang's research centers on developing advanced electrochemical strategies for next-generation medical devices (implantable, bioresorbable, and wearable) and sustainable energy solutions. Her work bridges bioelectronics , battery technology , and medical therapeutics , with particular emphasis on creating devices that can safely dissolve in the body after serving their purpose. Key areas include bioresorbable optoelectronic systems for electrotherapy, self-powered drug delivery platforms, and eco-safe battery technologies that can harmlessly resorb in biological environments. Analysis of Dr. Zhang's publication record reveals a clear trajectory from fundamental battery chemistry (2021-2022) toward increasingly sophisticated medical applications (2023-2025). Her recent work demonstrates mastery in integrating multiple functionalities into single bioresorbable platforms, as evidenced by her Nature (2025) paper on millimeter-scale optoelectronic systems for electrotherapy and Cell Biomaterials (2025) paper on wireless bioelectronic devices. The research shows strong interdisciplinary collaboration with leading institutions including Northwestern University and Georgia Tech. AHA Early Faculty Independence Award (2023) MIT ChemE Rising Stars (2022) Sigma Xi Best PhD Thesis Award (2021) Chinese Government Award for Outstanding Students Abroad (2021) A*STAR MTC Young Individual Research Grants (YIRG) (2025) Early Career Board Member for ACS Applied Materials & Interfaces (2025) Dr. Zhang has secured significant research funding including the AHA's Second Century Early Faculty Independence Award as Principal Investigator (2023) and the A*STAR MTC Young Individual Research Grant (2025). Her group serves on advisory boards for Cell Biomaterials and ACS Applied Materials & Interfaces. The Zhang Group at NUS maintains active collaborations with Northwestern University researchers including the Rogers group, with whom she has co-authored multiple high-impact publications in Nature, Science, and PNAS. Current research focuses on advancing battery technology and developing sophisticated electrochemical strategies for medical devices with an overarching focus on healthcare innovation and environmental sustainability.

Moe Z. Winمشاهده پروفایل

استاد

• Wireless communications
• Optical communications
• Space communications systems
• +۲ مورد دیگر

Moe Z. Win is the Robert R. Taylor Professor at the Massachusetts Institute of Technology (MIT), specializing in wireless communications, optical communications, and space communications systems. His research bridges theoretical and applied domains, including quantum sensing, network localization, and signal processing. B.S.E.E., Texas A&M (1987) M.S.E.E. & Ph.D., University of Southern California (1989, 1998) Recent work focuses on quantum-enhanced positioning, machine learning for localization, and next-generation (xG) non-terrestrial networks. He leads research at the Quantum neXus Laboratory (QX Lab), Wireless Information & Network Sciences Lab, and Laboratory for Information and Decision Systems. His career spans the Jet Propulsion Laboratory (1987-1995) and AT&T Research Laboratories (1998-2002). Key methodologies include soft information fusion, variational quantum sensing, and robust beam tracking for terahertz communications.

Suhas Diggaviمشاهده پروفایل

استاد

• Information Theory
• Machine Learning
• Differential Privacy
• +۹ مورد دیگر

Suhas Diggavi is a Professor in the Department of Electrical and Computer Engineering at the University of California, Los Angeles, within the Henry Samueli School of Engineering and Applied Science. His primary research area is Signals and Systems, with a strong focus on information theory and its interdisciplinary applications. His research interests span Information Theory , Machine Learning , Differential Privacy , Federated Learning , Cyber-Physical Systems , and Bio-informatics . He investigates fundamental limits and practical algorithms for secure, efficient, and robust data processing in distributed and networked environments. The recent publications highlight a strong trend in privacy-preserving machine learning, particularly in the shuffled model of differential privacy , communication-efficient distributed SGD , and robust optimization . His work bridges theoretical information-theoretic foundations with real-world applications in federated learning, wireless networks, and genomic data analysis. Notable scientific awards include: Guggenheim Foundation Fellow (2021) ACM CCS Best Paper Award (2021) IEEE Fellow (2013) IEEE Donald G. Fink Prize Paper Award (2006) Multiple Google, Amazon, and Facebook Research Awards Suhas Diggavi actively advises graduate students and leads a research group focused on learning, information, and optimization. His work is supported by major industry grants and collaborations, particularly in privacy and distributed learning. He has made significant contributions to information-theoretic models in bio-sequencing and wireless security. He leads the LIOS (Learning, Information, Optimization, and Stochastic Systems) research group at UCLA, where his team develops theoretical frameworks and practical algorithms for next-generation data-driven systems.

Bo Liمشاهده پروفایل

دانشیار

• Trustworthy Machine Learning
• Adversarial Machine Learning
• Privacy
• +۴ مورد دیگر

Bo Li is an Associate Professor at the University of Illinois at Urbana-Champaign, affiliated with the Siebel School of Computing and Data Science. Her research focuses on trustworthy machine learning, emphasizing robustness, privacy, and security in AI systems. She leads the Secure Learning Lab (SL²), exploring adversarial attacks and defenses across digital and physical domains. Key contributions include foundational work on adversarial examples, robust learning frameworks, and privacy-preserving techniques. Her academic roles include advisory board positions at the Center for Artificial Intelligence Innovation (CAII) and membership in the Information Trust Institute (ITI). She collaborates with institutions like the Advanced Digital Science Center (ADSC) and the Quantum Information Science and Technology Center (IQUIST). Notable recognitions include the IJCAI Computers and Thought Award (2022), MIT Technology Review's 35 Innovators Under 35 (2020), and multiple best paper awards. Recent work addresses AI safety through frameworks like ShieldAgent and AutoRedTeamer, aiming to enhance system resilience against adversarial threats. Her research spans theoretical guarantees, practical defenses, and ethical AI deployment. Students advised include Chulin Xie, Linyi Li, and Boxin Wang, who have received prestigious fellowships such as the IBM PhD Fellowship and Rising Stars in ML Awards. Advising: Guides PhD students in adversarial ML, privacy, and security. Labs/Teams: Secure Learning Lab (SL²), collaboration with ALERT program. Grants/Funding: NSF CAREER Award, Amazon/Google Faculty Awards, and industry partnerships.

• Database systems
• Large scale analytics
• Distributed systems
• +۳ مورد دیگر

Beng Chin Ooi is a Lee Kong Chian Centennial Professor at the National University of Singapore (NUS), School of Computing (SoC). He holds a B.Sc. (1st Class Honors) and Ph.D. in Computer Science from Monash University. His research focuses on database systems, large-scale analytics, and distributed computing. He has held leadership roles including Dean of School of Computing (2007–2013) and Director of Smart Systems Institute (2011–2021). Key achievements include the Singapore President’s Science Award (2011), ACM Fellow (2011), IEEE Fellow (2009), and multiple best paper awards. His work emphasizes scalable data management, blockchain systems, and healthcare data analytics. Education: Monash University (B.Sc., Ph.D.) Leadership: Dean (SoC), Director (Smart Systems Institute) Awards: Over 15 major honors including ACM SIGMOD E.F. Codd Innovations Award (2020) His research spans distributed databases, big data systems, and innovative applications of blockchain technology. Recent work includes NASI (neural architecture search) and Rafiki (ML-as-a-service).

• Transportation Safety
• Traffic Engineering
• Bicycle and Pedestrian Safety
• +۴ مورد دیگر

Brendan Russo serves as an Associate Professor in the Department of Civil Engineering, Construction Management, and Environmental Engineering at Northern Arizona University, where he conducts influential research in transportation safety and traffic engineering. His work focuses on improving safety outcomes for vulnerable road users through rigorous analysis of crash data, traffic operations, and emerging mobility technologies, with significant contributions to Arizona-specific transportation challenges and national safety practices. Russo's research program centers on bicycle and pedestrian safety, crash severity analysis, and the integration of autonomous systems into transportation networks. He employs advanced methodologies including spatial analysis, statistical modeling (e.g., random parameters bivariate probit models), and observational studies to investigate traffic stress levels, intersection safety, and the impacts of infrastructure treatments. His work consistently bridges theoretical transportation engineering with practical applications for safer community design. Analysis of Russo's recent publications reveals a strong emphasis on emerging transportation technologies and their safety implications, particularly regarding autonomous delivery robots and vehicle-pedestrian interactions, while maintaining core focus on traditional safety concerns like bicycle crash frequency and severity. His research demonstrates increasing integration of spatiotemporal analysis and scenario-based testing methodologies, with a clear geographic concentration on Arizona metropolitan regions that provides valuable localized insights applicable to broader transportation contexts. No scientific awards were mentioned in the provided text. No specific information about advising responsibilities or grant funding was provided in the text, though his extensive publication record and dataset contributions indicate active research leadership. Russo collaborates within a robust research network centered on transportation safety, frequently partnering with colleagues including Gehrke, Smaglik, and Holliday on projects involving field data collection, bicycle infrastructure evaluation, and safety performance metrics. His work leverages both observational studies and simulation approaches to develop data-driven guidance for transportation practitioners, with particular attention to Arizona's unique transportation environment and metropolitan planning challenges.

• Computer Vision
• Machine Learning
• Data-Driven Learning
• +۵ مورد دیگر

Alexei A. Efros is the Howard Friesen Professor in the EECS Department at the University of California, Berkeley, and a core member of the Berkeley Artificial Intelligence Research (BAIR) Lab. Previously, he spent a decade at Carnegie Mellon University’s Robotics Institute. His research focuses on data-driven computer vision, self-supervised learning, computational photography, and generative models. He has pioneered advancements in visual representation learning, including seminal work on neural radiance fields and generative adversarial networks. Education Background: Efros holds a PhD in Computer Science from MIT, though specific details of his academic journey are not explicitly provided in the text. His career includes postdoctoral research at the University of Oxford with Andrew Zisserman and collaborative work with Team WILLOW at INRIA Paris. Research Interests: Efros explores how vast uncurated visual data can be leveraged for understanding and synthesizing the visual world. Key areas include self-supervised learning, generative models, and applications in robotics and art. His lab has contributed influential techniques such as Style Transfer, GAN-based image synthesis, and neural scene representation learning. Recent work emphasizes real-time adaptation (Test-Time Training), 3D perception models, and ethical AI implications of generative systems. Publications: Over 150+ publications span topics like Generative Adversarial Networks (GANs), unsupervised learning, and visual-linguistic models. Notable works include Unpaired Image-to-Image Translation (CUT/GAU), Style Transfer , and Swapping Autoencoder . His research has significant industry impact, with techniques adopted in Adobe’s software and generative AI applications. Grants & Collaborations: Efros has secured major funding from NSF, DARPA, and industry partnerships (e.g., Adobe, NVIDIA). He co-leads projects on scalable vision models, ethical AI, and real-world perception systems. Current collaborations include work with MIT, NYU, and INRIA Paris. Labs & Teams: Leads the BAIR Vision Group at Berkeley, fostering interdisciplinary research between computer vision, graphics, and robotics. The group emphasizes Slow Science principles, prioritizing deep exploration over rapid publication.

Sarita V Adveمشاهده پروفایل

استاد

• Computer Architecture
• Extended Reality Systems
• Heterogeneous Computing
• +۴ مورد دیگر

Sarita V Adve is the Richard T. Cheng Professor of Computer Science at the University of Illinois at Urbana-Champaign, where she conducts research spanning hardware, programming languages, operating systems, and applications with a focus on domain-specific systems. Her work bridges theoretical foundations and practical implementations, particularly in extended reality and heterogeneous computing. Her educational background includes a Ph.D. and M.S. in Computer Science from the University of Wisconsin-Madison (1993, 1989) and a B.Tech in Electrical Engineering from the Indian Institute of Technology Bombay (1987). Prior to joining Illinois, she served on the faculty at Rice University from 1993 to 1999. Adve's research centers on generalizable and scalable specialization for domain-specific systems, with current emphasis on extended reality (XR) systems including virtual, augmented, and mixed reality. She chairs the ILLIXR consortium to democratize XR research and developed the first fully open-source XR system (ILLIXR). Her foundational contributions include memory consistency models for C++ and Java programming languages, the Spandex coherence framework for heterogeneous systems, and software-driven approaches for hardware reliability. Her work spans hardware reliability (SWAT and RAMP projects), power management (GRACE system), and instruction-level parallelism. Recent publications reveal a strong focus on energy-efficient XR systems, hardware-software co-design for AI workloads, and resilience analysis. Her team explores rendering offload, visual-inertial odometry optimization, and compositional error injection frameworks, often targeting tradeoffs between energy, latency, and accuracy in mobile and edge environments. Fellow of the American Academy of Arts and Sciences Fellow of the ACM and IEEE ACM/IEEE-CS Ken Kennedy Award Anita Borg Institute Woman of Vision in Innovation Award ACM SIGARCH Maurice Wilkes Award Alfred P. Sloan Research Fellowship UIUC University Scholar University of Illinois Campus Award for Excellence in Graduate Student Mentoring Adve actively mentors students and has received multiple teaching awards. She co-founded the CARES movement to address discrimination in CS research events and chairs CS@Illinois CARES. Her service includes leadership roles in ACM SIGARCH (2015-2019), DARPA/ISAT study group, ACM Council, and Computing Research Association. She has secured significant funding including DARPA initiatives and Google Faculty Research Awards. She leads the ILLIXR consortium and has established collaborative research programs such as the $8.3M DARPA Joint University Microelectronics Program. Her lab focuses on open-source XR development, heterogeneous system architectures, and reliability-aware designs, with strong industry and government partnerships.

• Nuclear Weapons
• Deterrence Strategy
• International Relations Theory
• +۳ مورد دیگر

Keir A. Lieber is a Professor at Georgetown University, holding dual appointments in the Edmund A. Walsh School of Foreign Service and the Department of Government. His research focuses on nuclear strategy, deterrence, technology’s role in warfare, and U.S. national security policy. He co-authored The Myth of the Nuclear Revolution and authored War and the Engineers , exploring how political decisions outweigh technological determinism. Lieber’s work appears in International Security , Foreign Affairs , and other leading journals. He has received major fellowships from institutions like the Brookings Institution and the Council on Foreign Relations. Education: Ph.D. and M.A. in Political Science from the University of Chicago; B.A. in Political Science and International Relations from the University of Wisconsin-Madison. A proud alumnus of D.C. public schools, Lieber emphasizes interdisciplinary approaches to security studies. His research interests span nuclear deterrence theory, the impact of emerging technologies on conflict, and the evolution of U.S. defense strategies. Recent work addresses nuclear tripolarity and the challenges of escalation control in modern conflicts. Awards include recognition for his contributions to international relations scholarship and policy analysis. Lieber’s academic contributions include co-editing volumes on realism and advising on national security policy. Grants and fellowships have supported his exploration of topics like cyber warfare and nuclear non-proliferation.

Eric Wongمشاهده پروفایل

استادیار

• Machine Learning
• Artificial Intelligence
• Explainable AI
• +۵ مورد دیگر

Eric Wong is an Assistant Professor in the Department of Computer and Information Science at the University of Pennsylvania, affiliated with the ASSET Center and leading the Brachio Lab. His research focuses on robust and reliable machine learning, including model debugging, adversarial robustness, and explainable AI. He holds a PhD from Carnegie Mellon University (CMU), advised by J. Zico Kolter, and completed a postdoc with Aleksander Madry. His work bridges theory and practice, addressing challenges in model interpretability, safety, and scalability. Teaching includes CIS 5200 (Machine Learning), CIS 3333 (Mathematics for Machine Learning), and a specialized course on debugging ML pipelines. Notable contributions include the FIX Benchmark for interpretable features and defenses against LLM jailbreaking attacks. He received an Amazon Research Award in 2024 and has published extensively in top conferences like ICML, NeurIPS, and ICLR. Affiliations: University of Pennsylvania (CIS), ASSET Center, Brachio Lab Education: PhD in Machine Learning (CMU), Postdoc at MIT Key Projects: FIX Benchmark, DOLPHIN framework, SmoothLLM defense Awards: Amazon Research Award (2024) Lab Focus: Safe AI, model debugging, neurosymbolic learning

• Natural Language Processing
• Large Language Models
• Digital Libraries
• +۷ مورد دیگر

Min Yen Kan is an Associate Professor and Vice Dean of Undergraduate Studies at the National University of Singapore's School of Computing, Department of Computer Science. With a PhD from Columbia University (2002), he leads the Web Information Retrieval / Natural Language Processing Group (WING.NUS) and serves as ACL Ethics Committee co-chair. His research spans Natural Language Processing , Large Language Models , Digital Libraries , and Information Retrieval , with specific focus on scientific discourse analysis, fact verification, and multimodal systems. Current projects include Scholarly Document Information Extraction (TRL 6), Task-Oriented Dialogue Systems (TRL 4), and Recommendation Systems (TRL 5). Recent publications reveal strong trends in LLM limitations (bias, hallucination, evaluation), conversational recommendation systems , and misinformation detection . His work consistently bridges theoretical NLP with real-world applications in digital libraries and scientific communication. Award highlights include: CIKM 2019 Best Paper Award ACL Distinguished Service Awards Vannevar Bush Best Paper Award (JCDL 2012) ACM Distinguished Speaker designation Kan mentors PhD students with placements at Google and USTC, and serves as associate editor for Information Retrieval and survey editor for Journal of AI Research . His lab WING.NUS develops practical tools like SciWING for scientific document processing and FANG for fake news detection. Media engagements include commentary on AI regulations in Southeast Asia and workforce implications in the AI era.

• Machine Learning Security
• AI Safety
• Privacy in Machine Learning
• +۴ مورد دیگر

Florian Tramèr is an Assistant Professor in the Department of Computer Science at ETH Zurich, Switzerland, leading research at the intersection of machine learning security, privacy, and AI safety. His work focuses on identifying and mitigating security vulnerabilities in machine learning systems, particularly in large language models and other AI systems. Tramèr's primary research interests include adversarial machine learning, membership inference attacks, privacy-preserving AI, and the security implications of large language models. His work has significantly advanced our understanding of how machine learning models memorize training data, how this memorization creates privacy risks, and how to evaluate the robustness of machine learning systems against various attacks. His recent publications demonstrate a strong focus on practical security challenges in deployed AI systems, including data extraction from language models, adversarial attacks against generative AI, and developing more rigorous evaluation methodologies for machine learning security. Tramèr's research has been published in top venues including ICLR, NeurIPS, ICML, and IEEE Security & Privacy. Tramèr is actively collaborating with leading researchers in the field including Nicholas Carlini, Matthew Jagielski, and Javier Rando, contributing to important initiatives like the International AI Safety Report. His work bridges theoretical security concepts with practical implications for real-world AI deployment.

Xiangyu Zhangمشاهده پروفایل

استاد

• AI Security
• Software Engineering
• Programming Languages and Compilers
• +۵ مورد دیگر

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)