| CARVIEW |
Select Language
HTTP/2 200
cache-control: max-age=3600
content-encoding: gzip
content-type: text/html; charset=utf-8
etag: "32aaf7c0cea1c737ad90d665fffa37d283d727f4ca0f4367cb6906d8d493ef24"
last-modified: Sun, 21 Sep 2025 16:16:33 GMT
strict-transport-security: max-age=31556926
accept-ranges: bytes
date: Mon, 29 Dec 2025 19:43:53 GMT
x-served-by: cache-bom-vanm7210065-BOM
x-cache: HIT
x-cache-hits: 0
x-timer: S1767037433.014400,VS0,VE1
vary: x-fh-requested-host, accept-encoding
alt-svc: h3=":443";ma=86400,h3-29=":443";ma=86400,h3-27=":443";ma=86400
content-length: 1719
Home | Nat Hurtig
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