Not really, and it's not really an engineering major either unless your CS is also part of the engineering school like MIT's is. Compared to mathematics curricula, you are doing a lot less complex stuff, there are few proofs and the classes are much easier than math ones.
If you can’t prove things and don’t cheat, you can’t get a UWaterloo CS degree. Can’t get past first year.
This isn’t a flex tho, cuz there’s so much optional advanced math that isn’t required. Everything in the combinatorics and optimization department at UWaterloo basically. Most of us UW CS grads are normies who didn’t do any of the hardest stuff including me :-)
CSE at UW was unique too in being the only program that had a degree in both the college of engineering and the college of arts and sciences, which meant they literally had different deans and budgets, but the same program advisors and such.
Unless something has changed, I believe the original idea was to merge the computer engineering degrees from both departments, not sure how that panned out. I left before it was even ECE!
We covered data structures & algorithms, concurrency, schedulers and virtual memory but it wasn't very math heavy. We have one full semester on software dev cycle and one for UI and mobile app development. Our final project was a group project to assess applying software dev cycle in a team. As far as I'm aware the CS department has a sizable HCI group.
I remember in first year with Python they taught the students to parse integers with `eval`.
Although my datapoint is 15 years old now. I’ve heard they’ve dumbed down CS at the behest of tech companies looking for base level talent factories.
But I was early on in computers. I took a FORTRAN course for another engineering major and otherwise never used computers undergrad.