Tom Melham

Biography of Tom Melham

Tom Melham
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.


Tom Melham
Computer Scientist

Born 1960.
University Link: Lecturer, Professor
Occupation categories: computer scientists
Search for this person in UK Who's Who
Record last updated: 31st Jul 2008

University Connections

University Roles

  • Lecturer
  • Professor

Academic Posts


There are no comments available.