Graduate Fellow: Peng Li (2012)

Peng Li is a Ph.D student under the guidance of Prof. Ganesh Gopalakrishnan in Computer Science Department at University of Utah.  His research focuses on GPU programs verification, analysis and testing. His research efforts have helped create the first concolic verifier and test generator tailored for GPU programs. He obtained his B.S and M.E degrees from the Nanjing University, China.

For more information on Peng's research:   www.cs.utah.edu/~peterlee