Give this man a Turing Award