Kenny Foner

I'm a PhD student in the Programming Languages Group at the University of Pennsylvania, advised by Stephanie Weirich. Starting in the summer of 2018, I'm on leave from my PhD program to work as a researcher with Galois.

I work to create programming languages that empower programmers—by making sure we meant what we said and guiding us in the first place to say what we mean.