Andrei Bulatov Receives Gödel Prize
Computing Science professor Andrei Bulatov was one of five researchers to receive the Gödel Prize in 2021 for his research ocntributions to the field theoretical computer science. Bulatov developed an algebraic appriach to solve constraint satisfaction problems by using a group of methods based on universal algebra.