Public research university in Birmingham, UK, with research programs in computer science, formal methods, and AI safety.