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!”
Jan 2017: I am TAing CSE 341: Programming Languages this quarter.
Nov 2016: I'll be presenting “Verification of Implementations of Distributed Systems Under Churn” at CoqPL‘17 this coming January. See you in Paris!