About
My main research interest revolves around static analysis with abstract interpretation. In particular, I am interested in incremental static analysis, optimizing the performance / precision tradeoff of static analysis, and extending static analysis to programming language features that are not commonly supported by state-of-the-art tools.
