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 mentorC. R. Ramakrishnan | grad student | 2006 | SUNY Stony Brook | |
(Verification techniques for mobile processes and security protocols.) |