University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Thomas Gibson-Robinson

Personal photo - Thomas Gibson-Robinson
Thomas Gibson-Robinson
Research Assistant
Junior Research Fellow, University College
thomas.gibson-robinson@cs.ox.ac.uk
+44 (0)1865 610753

Room 011, Robert Hooke Building, Parks Road, Oxford OX1 3PR

Interests

My interests lie broadly in process algebras, particularly CSP, and in protocol security.

My current research on process algebras is focussed on CSP. In particular, I am the lead developer of the FDR3 model checker, which is a verifier for CSP. FDR3 is an extremely capable model checker that is able to efficiently verify systems that consist of tens of billions of states. Further, it has a very expressive input language in the form of machine-CSP, thus allowing very complex systems to be modelled.

My current security research concerns the verification of layered security protocols. During my doctorate, I extended the high-level strand spaces model to allow arbitrary stacks of protocols to be verified by abstraction. Currently I am interested in extending these results in various ways, in addition to considering how the correctness proofs, which must currently be done by hand, can be automated.

CPA 2014: I am the local organiser for this year's Communicating Process Architectures conference: please do consider submitting a paper and/or attending. More details are available here.

Biography

Thomas Gibson-Robinson is a Junior Research Fellow at University College. He completed his doctorate under the supervision of Gavin Lowe at Oxford. He previously received his MCompSci in 2010 from Oxford.

Links

FDR3, CPA 2014, libcspm - A CSPM type checker

Selected Publications

View all

Manage publications

FDR into The Cloud

Thomas Gibson−Robinson and A.W. Roscoe

In Communicating Process Architectures. 2014.

FDR3 — A Modern Refinement Checker for CSP

Thomas Gibson−Robinson‚ Philip Armstrong‚ Alexandre Boulgakov and A.W. Roscoe

In Tools and Algorithms for the Construction and Analysis of Systems. Pages 187−201. 2014.

Efficient Simulation of CSP−Like Languages

Thomas Gibson−Robinson

In Communicating Process Architectures 2013. 2013.

Info

Themes

Activities

SHARE THIS: