The Software Engineering department, via which the course is offered, has a strong faculty from functional programming and formal methods perspective. There are

The Software Engineering department, via which the course is offered, has a strong faculty from functional programming and formal methods perspective. There are some interesting names here: https://www.cs.ox.ac.uk/people/faculty.html https://www.cs.ox.ac.uk/people/faculty.html However, from a prestige point of view, the parent university is sufficiently lofty that it's hard to go wrong; similarly, Judge is a questionable business school, but telling people you went to Cambridge will open any doors that need opening.