Chicago
http://math.uchicago.edu/~cstaats
I am a software engineer at Google with a mathematics Ph.D. from the University of Chicago.