Bill Roscoe, FREng

Bill is Professor of Computing Science in the Department of Computer Science. His research interests include concurrency, verification, FDR, SVA and computer security. He was Head of the Department of Computer Science (formerly called Director of the Computing Labratory) 2003-8 and 2009-14.