皇冠体育app

Dr. Yanyan Jiang is a tenure-track Associate Professor at Nanjing University, China. His research interests are constructing and torturing software systems, including validation, verification, and synthesis. He has been honored with two ACM SIGSOFT Distinguished Paper Awards (including an ACM Europe Council Best Paper Award), the CCF Outstanding Doctoral Dissertation Award, and the Microsoft Research Asia Fellowship Award. Additionally, Dr. Jiang serves as a Scientific Committee member for provincial Computing Olympiad contests and as a Technical Committee member for the Asia-Pacific Olympiad in Informatics.