Tom Ridge

Dr Tom Ridge
Senior Lecturer
F4, Department of Informatics (formerly Computer Science)
University of Leicester
Leicester, LE1 7RH
0116 223 1304
tr61 (at) le.ac.uk

GitHub: https://github.com/tomjridge

Mastodon social media (updates etc): https://realscience.social/web/accounts/6589

Introduction

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.

Background

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.