I am a second year graduate student in computer science at the University of Washington focusing on Programming Languages and Software Engineering. My work uses verification tools and constraint solvers to make programming easier, including programming for verification.
I'm interested in the connections and interactions between different logics. Any work that unifies seemingly disparate ideas in PL will have me very excited. I have a secondary interest in security.