Penn Engineering professor Rajeev Alur was awarded the 2024 Donald E. Knuth Prize for his contributions to theoretical computer science (Photo from Penn Engineering). Rajeev Alur, Zisman Family ...
This report incorrectly states that 256 is written like 10 million (or a 1 followed by 7 zeroes). It looks like 100 million, or a 1 followed by 8 zeroes.