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.




In spring of 2017, I was a teaching assistant at the University of Pennsylvania for CIS 552: Advanced Programming, an interactive course on programming with advanced functional languages (most notably Haskell), taught by Stephanie Weirich.

In autumn of 2016, I was a teaching assistant at the University of Pennsylvania for CIS 500: Software Foundations, the course constructed from the eponymous book, taught by Benjamin Pierce.

In winter of 2015, I was invited by Brent Yorgey to guest-lecture about purely functional data structures in CSCI 490, his functional programming course at Hendrix College.

In spring of 2015, I designed and taught a full-credit introductory course on the Haskell programming language at Brandeis University to a group of interested students and faculty.

As an undergraduate at Brandeis, I was a teaching assistant from 2012–2015 for CS 21b, a course based on the book Structure and Interpretation of Computer Programs, and taught by my undergraduate advisor, Harry Mairson.