Peng Li

Peng Li
1240 E. Arques Ave., M/S 345 Sunnyvale, CA 94085 USA

I am a Member of Research Staff at Fujitsu Labs of America, Inc. 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.