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