Dr Tom Ridge
F4, Department of Informatics (formerly Computer Science)
University of Leicester
Leicester, LE1 7RH
0116 223 1304
tr61 (at) le.ac.uk
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
A brief résumé:
- My undergraduate degree is in mathematics from Trinity College,
University of Cambridge, where I also did the Diploma in Computer
Science (somewhat similar to a Master's degree).
- I have a senior scholarship from Trinity College listed
which I only found out about many years after it was awarded.
- After the diploma I spent a couple of years in the City of
London. I was paid much more than I earn now, even though it was
my first real job!
- I did my PhD at the Laboratory for the Foundations of Computer
Science, University of Edinburgh. My supervisor was Paul Jackson.
- I was then a researcher at the Computer Laboratory, University of
Cambridge. I was mainly supervised by Peter Sewell (NetSem TCP/IP
project, and later weak memory models), but for the last year I
was supervised by Matthew Parkinson (weak memory models, again).
- I have been at Leicester since September 2009.
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.