(Pre-tenure) Associate Professor,
SPAR - CASTLE
Joint Group
Dept. of Computer Science and Technology, Nanjing University
Ph.D. (Nanjing University , 2017)
Visiting Ph.D. Student (The Ohio State University , 2015)
My research interests are automated technologies for software and systems, particularly program synthesis and end-user programming. There are also a few projects on testing and analysis of system software. Selected publications:
Current (Find them in CST Building 812/824/544)
Last Update: Dec 8, 2022