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 mentorAndrew Appel | grad student | 2005 | Princeton | |
(A compositional logic for control flow and its application in foundational proof -carrying code.) |