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é:

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.