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!”
News
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!
Writing
- tactic : tactical :: function : functional (19 Feb 2017)
- A dog truth (22 Aug 2015)
- We go down to the river (21 Aug 2015)
- "Every one writes like that now." (08 Aug 2015)
- Overhaul (22 Jul 2015)
- Chromatophoria (18 May 2013)
- New blog (15 May 2013)