Hi, I'm Kenny Foner. I'm a software engineer with deep background in the research and development of programming languages, formal verification, and applied cryptography. I love creating type systems, compilers, and tools for automated testing and theorem proving. I've used these techniques in practice to build systems for cryptographic specification, privacy-preserving computation, and more—and I'm just as excited to learn new domains and tackle new challenges!

Pronouns: they, them, their
Email: kwf@very.science
GitHub: github.com/kwf

I graduated with my master's in computer science from the Programming Languages Group at the University of Pennsylvania, advised by Stephanie Weirich. I'm presently a senior software engineer at Bolt Labs.

You may also be interested to read my blog, or to check out my publications/presentations.