Hi, I'm Kenny Foner.

I'm a core engineer at Penumbra Labs. Previously, I was a senior software engineer at Bolt Labs leading the development of Zeekoe, an implementation of private layer-2 payment channels, and Dialectic, a library of asynchronous session types in Rust. Before that, I was a research engineer at Galois working on the Cryptol formal verification ecosystem and the ElectionGuard encrypted verifiable voting system.

I hold a Masters of Science in programming language theory from the University of Pennsylvania, where I was advised by Stephanie Weirich. My mildly viral talks about mental health in graduate school have reached a global audience of thousands, both in and beyond computer science academia.

You can read my tweets at @plaidfinch, write me emails at kwf@very.science, and find me on GitHub at github.com/kwf.