tjknoth@gmail.com
Curriculum Vitae
GitHub







I'm a senior engineer at Jitx, working on language-based PC board design. I contribute to the L.B. Stanza language and optimize the core board design algorithms.

Background

I did my PhD on typed functional programming at UCSD with the Programming Systems Group, advised by Nadia Polikarpova. I wrote a dissertation about rich type systems and their use in program synthesis. As an undergrad I studied Computer Science and Mathematics at Grinnell College in Iowa. There, I worked on high-speed GPU algorithms for order statistic selection with Jeffrey Blanchard.

Teaching

CSE 130 (Fall 2022)
CSE 20 (Summer Session 2 2021)

Publications