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!
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.