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.) | ||||