Dr. Yanyan Jiang is as an Associate Professor at Nanjing University, China. He works on software systems with a focus on validation, verification, and synthesis. He is the winner of SOSP’23 Best Paper Award, two ACM SIGSOFT Distinguished Papers (ICSE’21 and ASE’18) with an ACM Europe Council Best Paper Award, and the Microsoft Research Asia Fellowship Award. He also works as a Steering Committee member for regional Computing Olympiad contests and as a Technical Committee member for the Asia-Pacific Informatics Olympiad (APIO) 2022-2024.