Peng Li

Contact:
Peng Li
645 Clyde Ave., Mountain View, CA 94043 USA
Email: peng.l@samsung.com
peterlee@cs.utah.edu

I am a senior research engineer at Samsung Research America. I finished my PHD at school of computing in University of Utah under the surpervision of Prof. Ganesh Gopalakrishnan. My research fields include but not limited to: application of static analysis, dynamic analysis and formal verification methodologies to improve correctness, reliability and security of large scale and complex software systems, parallel programming and computing, web technology.

Projects

Publications

  • Google Scholar
  • Recognition


    Last modified on March 20, 2012.