Charles Fleming, Ph.D.
Affiliations: | 2013 | Computer Science 0201 | University of California, Los Angeles, Los Angeles, CA |
Area:
programming language design; static type systems; program analysis; software model checking; formal methods; compilersGoogle:
"Charles Fleming"Parents
Sign in to add mentor| Todd Millstein | grad student | 2013 | UCLA | |
| (Data Tethers: Preventing Information Leakage by Enforcing Environmental Data Access Policies.) | ||||