Getting Down to Basics

2020 ACM Turing awardees Alfred Aho and Jeffrey Ulman discuss their work and how it continues to influence new computer scientists.

Xi Chen Awarded the Gödel Prize

The Gödel Prize for outstanding papers in the area of theoretical computer science is sponsored jointly by the EATCS and the ACM SIGACT. Chen is recognized for his 2017 paper on constraint satisfaction problems (CSP).