Ping Yang, Ph.D.

Affiliations: 
2006 Stony Brook University, Stony Brook, NY, United States 
Area:
Logic Programming, Programming Languages, Verification.
Google:
"Ping Yang"

Parents

Sign in to add mentor
C. R. Ramakrishnan grad student 2006 SUNY Stony Brook
 (Verification techniques for mobile processes and security protocols.)