Nat Hurtig

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 more information, check out my CV!