I'm a PhD student advised by Stephanie Weirich in the Programming Languages Group at the University of Pennsylvania. Among other things, I'm interested in using modular constraint solvers to make programming with powerful type systems friendly, fast, and fruitful.
More generally, I want to build type systems and programming languages that don't merely make sure we meant what we said, but also help us in the first place to say what we mean.
- TyDe 2016 J. Paykin, A. Spector-Zabusky, and K. Foner. "Choose Your Own Derivative (Extended Abstract)." To appear in Proceedings of the 2016 Workshop on Type-Driven Development. PDF GitHub BibTeX ACM DL
- Haskell 2015 K. Foner. "Functional Pearl: Getting a Quick Fix on Comonads." In Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell. PDF GitHub BibTeX ACM DL
- PLAS 2014 A. Stoughton, A. Johnson, S. Beller, K. Chadha, D. Chen, K. Foner, and M. Zhivich. "You Sank My Battleship!: A Case Study in Secure Programming." In Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security. PDF BibTeX ACM DL
- C∘mp∘se Conference 2016 "There and Back Again" and What Happened After. YouTube
- Haskell Symposium 2015 Functional Pearl: Getting a Quick Fix on Comonads. YouTube
- Boston Haskell 2015 Ice, Ice, Data: Freezing Mutable Data Structures with Midas. YouTube
- Boston Haskell 2014 Getting a Quick Fix on Comonads. YouTube
In spring of 2017, I am 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.
As an undergraduate at Brandeis, I was a teaching assistant and guest lecturer from 2012–2015 for CS 21b, a course based upon the book Structure and Interpretation of Computer Programs, and taught by my undergraduate advisor, Harry Mairson.
Since 2016, I co-organize the University of Pennsylvania's annual Haskell exchange, Hac φ—a gathering of academics, professionals, and hobbyists to share, collaborate, and hack together.
I organized a reading group on the fundamentals of SMT solvers and their applications to programming languages during the spring of 2016.
- Phi Beta Kappa Academic Honor Society (2015)
- Michtom Prize for Academic Excellence in Computer Science (2015)
- Jerome A. Schiff Undergraduate Research Fellowship (2014)
- Dr. Jacques and Diana Cohen Endowed Award in Interdisciplinary Studies (2014)