Registered user since Wed 30 May 2018
Name:Yanyan Jiang
Bio:
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.
Country:China
Affiliation:Nanjing University
Personal website: https://ics.nju.edu.cn/~jyy
GitHub: https://github.com/jiangyy
Research interests:Software Systems
Contributions
Using general profile