Tom RidgeDr 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 Cambridge.
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 here, 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.