On Sun, Dec 8, 2013 at 5:24 AM, Dennis Raddle <dennis.raddle@gmail.com> wrote:

It's me again, guy aged 45 thinking about doing graduate work in CS.

Is there an area with CS academia that is more about elegance, less about hacking up prototypes? The study of languages?

http://alexandria.tue.nl/extra3/proefschrift/PRF6A/8811641.pdf

about beauty in mathematical proofs

[And in case you wonder what that has to do with CS -- the guide was E W Dijkstra]