Roland Backhouse
Roland Backhouse joined the School of Computer Science and Information Technology in September 1999, where he leads the Foundations of Programming research group. Before then he was in the Department of Mathematics and Computing Science at Eindhoven University of Technology in the Netherlands.
His work can be found on his university webpage here: http://cs.nott.ac.uk/~rcb.