Jeremy P. Condit, Ph.D.
Affiliations: | 2007 | University of California, Berkeley, Berkeley, CA, United States |
Area:
Programming Systems (PS); Security (SEC); software engineering, security, program analysisGoogle:
"Jeremy Condit"Parents
Sign in to add mentorGeorge Necula | grad student | 2007 | UC Berkeley | |
(Dependent types for safe systems software.) |