Tom Ridge

Dr Tom Ridge
Senior Lecturer
F4, Department of Computer Science
University of Leicester
Leicester, LE1 7RH
0116 223 1304
tr61 (at)


Welcome to the home page of Tom Ridge. I am an academic researcher in computer science, programmer, and senior lecturer. I am currently at the University of Leicester, UK. Previously I was at the University of Cambridge.


A brief résumé:

Bio (for conferences)

Tom Ridge is a Senior Lecturer at the University of Leicester. His background is in formal methods. His research has mainly focused on applications of formal methods to real-world systems. He worked at Cambridge on the NetSem project giving a formal semantics to TCP/IP, and then briefly worked on relaxed memory models. Recently he has worked on verified parsing, and the semantics of file systems.