I studied "Mathematics and Computation" there in 89-92 because they seemed to think that "computation" was a fad that was probably going away, so you couldn't let people study just "Computation".
There was a certain amount of formal methods, but only in a perfunctory manner, as if to satisfy an inconvenient requirement. Some functional programming, but in an extremely shallow way. Overall, I did not learn a single useful thing in 3 years.
I followed this up with Ph.D. in Computer Science somewhere else, which was also a complete waste of time.
Not a single useful thing? A complete waste of time? Really not anything that you found intriguing or thought-provoking for its own sake? I did the same course nine years later and found it very stimulating, even if it wasn't always directly "applicable" so to speak. But perhaps the syllabus had changed a bit by then.
What I learned from these comments sharing their experiences from one time to another is that the curriculum evolved and no one had the same experience.
Not to mention how individuals perceive things - two students with similar aptitude in the same class can still have their own very different experiences.
There was a certain amount of formal methods, but only in a perfunctory manner, as if to satisfy an inconvenient requirement. Some functional programming, but in an extremely shallow way. Overall, I did not learn a single useful thing in 3 years.
I followed this up with Ph.D. in Computer Science somewhere else, which was also a complete waste of time.