I am a Senior Engineer at Uber’s Programming Systems Group, where I work primarily on developing static analysis tools for Java applications. My current focus is on improving application reliability by preventing broad categories of bugs using fast type-system based tools that run on every local compilation, while minimizing developer annotation burden. My research interests more broadly include static and dynamic analysis, modeling of third-party code behavior, as well as automated test generation and UI exploration for mobile applications.