I’m a computer scientist working on the foundations of programming languages. My PhD work is on the semantics of sound gradually typed languages: how to design them and how to prove that they support predictable migration from dynamic to static typing. More generally I’m interested in the semantics of safe and secure interoperability between languages, embracing advanced semantic techniques like logical relations and category-theoretic models.

I’m currently a PhD candidate at Northeastern University since Fall 2014, working with Amal Ahmed.

I was previously at Northwestern University, where I worked with Robby Findler on automated test-case generation.