About us
We help transform businesses with software tools that enable innovation, reduce cost and make life easier for developers.
All systems go.
The Cocotec story
-
Cocotec was founded by Dr Philippa Broadfoot, Dr Tom Gibson-Robinson, Prof Bill Roscoe, and Guy Broadfoot, and spun out of the University of Oxford in 2018.
-
We build tools to help developers eliminate bugs early, speed up development, and be confident that their software will work reliably in production.
-
In 2021, we launched our first commercial product, Popili (formerly known as the Coco Platform), after several years of customer evaluation and feedback.
-
Now headquartered in Guildford, UK, Popili is being used to develop millions of lines of code for some of the world’s most advanced systems.
All systems go with Team Cocotec
Our team is a highly experienced group of specialists, led by Co-Founders Tom and Philippa. We work in partnership with our clients to help them build innovative software that brings their vision to life. And we’d love to do the same with you.
Dr Tom Gibson-Robinson
Co-Founder and CTO
Tom has over a decade’s worth of experience in building high-performance formal verification tools. Combined with his passion for programming languages and building software, he is the driving force behind our innovation and tools. Prior to launching Cocotec, Tom was a Senior Researcher at the University of Oxford. He has built some of the fastest model checking tools of their kind, and is the author of Coco, the modern programming language designed specifically for building event-driven software.
Dr Philippa Broadfoot
Co-Founder and CEO
Philippa leads the charge in bringing our technology to ambitious businesses across a range of industries. With twenty years’ worth of experience in formal verification, she pushes the boundaries of what’s possible with verification tools. Before launching Cocotec, Philippa spent three years as a Senior Research Fellow at the University of Oxford, where she brought the power of automated verification and code generation to model-based engineering platforms.