Yi Yang @ PACMAN Group

My Chinese name is (Yang) (Yi).

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.


Non-research activities

  • One of PACMAN netadmins.
  • Spring 2013 and Fall 2013: TA of the course Computer Architecture, for both undergraduates and graduates.