Tom Ridge

Name:	Tom Ridge
Affiliation:	University of Cambridge
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	21 Aug 2009, 11:09 a.m.

Public lists managed by Tom Ridge

Talks given by Tom Ridge

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

• A rigorous approach to networking: TCP, from implementation to protocol to service

Talks organised by Tom Ridge

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Tom Ridge actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.

• NO LOGIC AND SEMANTICS SEMINAR TODAY
• Deciding Boolean BI (via Display Logic)
• NO LOGIC AND SEMANTICS SEMINAR TODAY
• THERE IS NO LOGIC AND SEMANTICS SEMINAR TODAY
• Title to be confirmed
• The interpretation of intuitionistic type theory in locally cartesian closed categories: an intuitionistic approach
• The Java Memory Model - the Good, the Bad and the Ugly
• Valiant's theory
• An Executable Model of the JVM in Coq
• Infinite-State System Verification via Tree Automata
• Verification Across Intellectual Property Boundaries
• Fine-grained concurrency with separation logic
• A logical approach to data provenance.
• Bialgebras and modal logic
• Reasoning about Code Pointers (Separation Logic for Higher-Order Store)
• A structural proof of the soundness of rely/guarantee rules
• Logical equivalence for subtyping object and recursive types.
• Collection and Contra-collection in Mathematics