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
Jul 2017: I'll be attending the inaugural DeepSpec Summer School. If you're in Philadelphia this July, come say hello.
Jun 2017: I graduated from UW with a math degree and will be beginning a Ph.D. at Cornell in August!
Jan 2017: I am working as a teaching assistant for CSE 341: Programming Languages this quarter.
Jan 2016: I'm presenting “Verification of Implementations of Distributed Systems Under Churn” at CoqPL‘17. 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)