Dr. Yanyan Jiang is an Associate Professor at Nanjing University, China. His research interests include techniques for constructing and testing software systems: validation, verification, and synthesis. He has received two ACM SIGSOFT Distinguished Paper Awards (along with an ACM Europe Council Best Paper Award), the CCF Outstanding Doctoral Dissertation Award, and the Microsoft Research Asia Fellowship Award. He also serves as a Steering Committee member for provincial Computing Olympiad contests and Technical Committee member for APIO2022 and 2023.