My research is in tunable static analysis—mainly of higher-order, functional languages. I also work on parallelizing and incrementalizing such analyses, and on their applications. More broadly, my interests include semantics, language design, compilers and implementations, safety and verification, parallelism and high-performance solvers (e.g., constraint solving on the GPU). Contact me if you have an idea which intersects with my research or broader interests and want to discuss it. I am looking for students!