Yanyan Jiang

Dr. Yanyan Jiang is an Associate Professor at Nanjing University, China, specializing in software systems with a focus on validation, verification, and synthesis. His research spans software testing, analysis, and program synthesis, with significant contributions to the field of software engineering.

Dr. Jiang's research interests include:

• Software Testing - particularly code coverage validation and Android application testing
• Software Verification - with focus on compiler validation and system correctness
• Program Synthesis - especially for dynamic software updates and state transformation
• Operating Systems - including educational approaches and system design principles

His recent work shows a strong trend toward practical applications of software engineering research, with focus on Android systems, compiler validation, and self-adaptive software. His publications demonstrate expertise in both theoretical approaches to software validation and practical tools for real-world systems, particularly in the areas of code coverage validation, dynamic software updating, and compiler verification.

Dr. Jiang has received numerous prestigious awards:

• SOSP'23 Best Paper Award
• ACM SIGSOFT Distinguished Paper Awards (ICSE'21 and ASE'18)
• ACM Europe Council Best Paper Award
• Microsoft Research Asia Fellowship Award
• CCF Outstanding Doctoral Dissertation Award

Dr. Jiang actively contributes to the software engineering community through program committee memberships at major conferences including ASE, ICSE, and ESEC/FSE. He also serves on the Steering Committee for regional Computing Olympiad contests and as a Technical Committee member for the Asia-Pacific Informatics Olympiad (APIO) 2022-2024, demonstrating his commitment to both research excellence and educational outreach in computer science.