I am a second year graduate student in computer science at the University of Washington focusing on Programming Languages and Software Engineering. I am also a research scientist intern with Byron Cook's formal methods research group at Amazon.
I'm interested in the connections and interactions between different modes of reasoning (Curry-Howard is a special case of this). Any work that unifies seemingly disparate ideas in PL will have me very excited. Appropriately, I'm drawn to both the type theoretic, constructive school of verification and the classical, SMT-based school of verification. I have a secondary interest in security.