Johan Håstad wins Knuth Prize 2018

Knuth Prize Citation