Sign In

Thomas Gibson-Robinson

Founder and CTO at Cocotec

Thomas Gibson-Robinson is the Chief Technology Officer (CTO) and co-founder of Cocotec, a company that specializes in developing software tools aimed at enhancing innovation and reducing costs for developers. He has a strong academic background, holding both a Master's degree (MCompSci) and a Doctorate (DPhil) in Computer Science from the University of Oxford, where he also worked as a Senior Researcher and Junior Research Fellow prior to his current role at Cocotec.23

Professional Background

  • Current Role: CTO at Cocotec since July 2019, where he focuses on building high-performance formal verification tools that help developers eliminate bugs early in the software development process.23
  • Previous Experience:
    • Senior Researcher at the University of Oxford (2016-2019).
    • Junior Research Fellow at University College, Oxford (2013-2016).2

Contributions and Interests

Gibson-Robinson's research interests include process algebras, particularly CSP (Communicating Sequential Processes), and protocol security. He is recognized for his work on the FDR3 model checker, which efficiently verifies complex systems with vast state spaces.15 His contributions to the field include developing tools that automate verification processes, thereby enhancing the reliability of software systems.35

Current Focus

At Cocotec, Gibson-Robinson is instrumental in driving innovation through technology. The company, which spun out from the University of Oxford in 2018, aims to provide tools that facilitate the development of reliable software across various industries.34

Related Questions

What are Thomas Gibson-Robinson's main responsibilities as CTO at Cocotec?
How did Thomas Gibson-Robinson transition from academia to industry?
What are some notable projects Thomas Gibson-Robinson has worked on at Cocotec?
How has Thomas Gibson-Robinson's research background influenced his approach to technology at Cocotec?
What are the key achievements of Thomas Gibson-Robinson in his career so far?
Thomas Gibson-Robinson
Thomas Gibson-Robinson, photo 1
Thomas Gibson-Robinson, photo 2
Add to my network

Location

Guildford, England, United Kingdom