My Chinese name is 杨
I joined PACMAN Group in 2011, when I was still undergraduate and wanted to start my research career earlier. I started pursuing my master's degree since 2012.
My research interest includes software checking and verification techniques, and program analysis.
I graduated from PACMAN Group in 2015, with a master's degree.