University of Texas at Austin. Their cs department is(or at least was) heavily influenced by Dijkstra so it was extra heavy on the theory(especially math) and extra light on the software engineering. By the end I was pretty good at proofs and dog shit at development.
This was a decade ago and looking at the curriculum now it seems like they emphasize discrete mathematics less or I accidentally took way more discrete math and logic than I needed to.
And yeah linear algebra is definitely something I wish I got more out of. In college I did enough to get a good grade but not nearly enough to grok it. I'm hoping to take fast.ais course on it some day to rectify that mistake.
