[davidmr]

It might not be what you were looking for, but to say it's not "built out" is a bit of a reach. I don't see how a department whose faculty include Alexander Razborov and Laszlo Babai can be considered lightweight. If you're interested in theory, UofC is a very good place to go. Are they upenn, columbia, cmu, etc.? No, but they're not trying to be. It's much more an extension of the Mathematics program than at many other places.

http://en.wikipedia.org/wiki/Alexander_Razborov

http://en.wikipedia.org/wiki/László_Babai