Interview with Peter W. O’Hearn, recipient of the 2016 Gödel Prize
processalgebra.blogspot.com