I am a UTCS graduate, working in industry. At UT, I spent 2 years programming both Haskell and C++, and then 2 years with very little programming. We focused

I am a UTCS graduate, working in industry. At UT, I spent 2 years programming both Haskell and C++, and then 2 years with very little programming. We focused instead on theorem proving and linguistics. This has a lot to do with Dijkstra's legacy in the department. Implementation, industry, and start-ups are thought as an exercise left for the reader, and not part of curriculum. Throughout my career, I've always felt proud about this.