I’m a senior undergraduate studying math at the University of Washington,
where I do research with
Zach Tatlock
in the
PLSE group.
Right now I’m verifying my implementation of
Chord,
your favorite distributed hash table’s favorite distributed hash
table.

My last name sounds like “DEN-jis” when I say it out loud. My
full name anagrams to “try heron agendas” or “drone, earn
thy gas!”