I am a Research Scientist on the Static Analysis Tools team in the Facebook Menlo Park office. I work primarily on the Infer static analyzer for Android, Objective-C, and C++ code. I joined Facebook full time in 2015 after interning in 2014.
I am interested in static analysis, verification, type systems, and programming languages. The focus of my work is using semantic techniques to make programmers more productive.
I earned my PhD from the University of Colorado at Boulder in 2015 (advised by Bor-Yuh Evan Chang). My thesis was on designing flexible abstractions for precise and efficient goal-directed static analyses. During my PhD, I was a recipient of the 2014-2015 Facebook Fellowship. I earned an BA in computer science and philosophy from Williams College in 2010.
Thesis – Flexible Goal-Directed Abstraction