Biography of Tom Melham
Thomas Frederick (known as Tom) Melham joined the University in 1993 as Lecturer in the Department of Computing Science. He was appointed Senior Lecturer in 1997 and Professor of Computing Science from 1998 until 2002.
Melham graduated BSc from the University of Calgary. He was a research fellow of Gonville and Caius Colleg,e Cambridge from 1987 to 1991, and he was awarded a PhD by the University of Cambridge in 1990 for his foundational research in formal hardware verification and mechanised reasoning.
In 2002, Melham left Glasgow to become Professor of Computer Science at the University of Oxford and a Fellow of Balliol College. He was elected a Fellow of the Royal Society of Edinburgh in 2002.