tjknoth@gmail.com
Curriculum Vitae
GitHub







I'm a senior compiler and algorithms engineer at persimmons.ai, where we're figuring out how to run large language models on chiplets.

My background is in programming languages: I did my PhD on typed functional programming at UCSD with Nadia Polikarpova. My dissertation explored rich type systems and their use in program synthesis. I've also worked on language design for next-gen EDA, implemented high-performance numerical analysis with GPUs, investigated Halide as a compiler IR for optimizing matrix operations, and contributed to the L.B. Stanza language.

Teaching was a highlight of grad school. I was an instructor for courses on programming languages and discrete math.

Publications