Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Tom Ridge's Homepage
Tom Ridge's Homepage
I am a research associate at the Computer Laboratory, University of
Cambridge, currently employed by Matthew Parkinson. I work on program
verification and theorem proving. My email address
is thomas.ridge (at) cl.cam.ac.uk
Previously I worked on the NetSem project, formalizing TCP/IP.