A picture of Nat
Hi!
I'm Nat, short for Nathan — a computer science PhD student at the University of Washington. I use he/him pronouns.
I'm advised by Gilbert Bernstein and Adriana Schulz, and my research is between programming languages and graphics.
Specifically, I work on the algebra of machine knitting, developing a formal semantics for machine knitting programs. I'm developing an algorithm to compute whether two knitting programs output the same real-world object. The long-term plan is to use those semantics to guide and verify program analysis and design tools, like optimizing compilers.
For some less-recent information, check out my CV!

nhurtig <at> acm <dot> org