Gang Tan, Ph.D.

Affiliations: 
2005 Princeton University, Princeton, NJ 
Area:
Software verification, computer security, programming languages, compilers.
Google:
"Gang Tan"

Parents

Sign in to add mentor
Andrew Appel grad student 2005 Princeton
 (A compositional logic for control flow and its application in foundational proof -carrying code.)