Yeah, and the Turing Award for CS, and there's probably a bunch more that I'm forgetting.

Still kind of weird that the prestigious award that everyone has heard of doesn't have a mathematics category.