Visit by Tom Ridge

[Jørgen Villadsen]

Tom Ridge from the Department of Computer Science, University of Leicester, UK, visits Anders Schlichtkrull and me 18-21/4 2016.

 

Tom Ridge is a Senior Lecturer at the University of Leicester. His research has mainly focused on applications of formal methods to real-world systems, like network protocols, memory models, combinator parsing and file systems, using the HOL4 and Isabelle proof assistants:

 

http://www.tom-ridge.com

 

Information about a talk by Tom on Wednesday 20/4 2016 will follow.

 

Jørgen

 

PS - Paul, we do not need an office for Tom as we will have meetings most of the time... :-)