Andrei Bulatov’s contributions to the field of computer science were recognized as he was one of five researchers to receive the Gödel Prize for their work on the classification of the counting ...