Cynthia Dwork, inventor of Differential Privacy, wins Knuth Prize for 2020 [pdf]