Late 1990s: 68k assembler, relational algebra taught via SQL, Prolog, C, and some Ada. And astard hard discrete maths, logic, and formal methods.

Red brick Russell Group British university, not prestigious.