Ryan Williams

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