Andrew Appel
Ph.D. ·
princeton, New JerseySoftware verification
Programming languages
Computer security
Compilers
Semantics
Software engineering
Information technology policy
Elections and voting technology
Computer Science
Unlock Full Profile
Direct contact details on file
Use 1 credit to reveal Andrew's full profile, including contact information, credentials, and complete work history. If they don't respond within 5 days, your credit is refunded.