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 using and developing formalisms from programming languages to
improve the design and fabrication process.
A past project of mine created an
efficient algorithm to decide whether two machine knitting programs create
topologically equivalent structures, which is useful for compiler development and
verification. Check out my blog post
or our ICFP paper
for more.
I spent the summer of 2025 at Adobe with Maaz Ahmad,
working on program synthesis techniques to help designers select the objects they want across a
parametric family of CAD models.
For more information, check out
my CV!
nhurtig <at> acm <dot> org