They have 2 servers running in Reading, one with OpenBSD and the other with FreeBSD. Not sure what campus though...
They use FreeBSD a lot for interoperability testing, especially when replacing whole (originally unix based) systems such as Information Workplace at GlaxoSmithKline.
I assume in the development of SFU (Windows Services for Unix), Microsoft have used Unix extensively (Perhaps linux though...)