Peng Li

Peng Li
645 Clyde Ave., Mountain View, CA 94043 USA

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.



  • Google Scholar
  • Recognition

    Last modified on March 20, 2012.