Peng Li

Contact:
Peng Li
1240 E. Arques Ave., M/S 345 Sunnyvale, CA 94085 USA
Email: pli@us.fujitsu.com
peterlee@cs.utah.edu

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.

Projects

Publications

  • Google Scholar
  • Recognition


    Last modified on March 20, 2012.