Ryan Williams
Graduate Research Assistant
My research interests are in the applications of formal methods to program analysis.
Interests
- Program Analysis
- Formal Methods
- System Security
Education
-
MS, 2014
University of Southern California
-
BS, 2012
University of California, Los Angeles