3 ms·

> reasonably welly known university I know it's partially tongue-in-cheek, but how is comp sci in Oxford? I thought all big names in engineering/compsci were M

• peteretep 10y ago
  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.
  • sah2ed 10y ago
    Very interesting names indeed. Some notable ones: - Tim Berners-Lee - C. A. R. Hoare
    • niuzeta 10y ago
      Tim Berners-Lee? Wow, I am happily corrected.
• nickpsecurity 10y ago
  Idk about Oxford but Cambridge is top notch. In high-assurance security, the CHERI work is one of the best: https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/ https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/ A quick Google of verification work (decent test of skill) shows Oxford doing CBMC for C language (significant), a compiler for security protocols, automatic verification of firmware for Intel, work on CSP for concurrency, and contributions to Cadence Jasper for ASIC verification. So, they're not doing the best work but they're not sitting on their hands either.