FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Yanyan Jiang

Registered user since Wed 30 May 2018

Name:Yanyan Jiang
Bio:

Dr. Yanyan Jiang is as an Associate Professor at Nanjing University, in 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 and 2023.

Country:China
Affiliation:Nanjing University
Research interests:Software Systems

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile