


Cocotec Revenue
Software Development • Guildford, England, United Kingdom • 1-10 Employees
Cocotec revenue & valuation
| Annual revenue | $513,330 |
| Revenue per employee | $86,000 |
| Estimated valuation?This valuation is estimated based on industry average for the Software Development industry and current estimated revenues | $1,700,000 |
| Total funding | No funding |
Key Contacts at Cocotec
Philippa Broadfoot
Chief Executive Officer
Thomas Gibson-Robinson
Chief Technology Officer
Company overview
| Headquarters | Guildford, England, United Kingdom |
| Website | |
| Keywords | Formal Verification, Software Development Tools, Coco Programming Language, Popili |
| Employees | 1-10 |
| Socials |
Cocotec Email Formats
Cocotec uses 2 email formats. The most common is {first initial} (e.g., j@cocotec.io), used 80% of the time.
| Format | Example | Percentage |
|---|---|---|
{first initial} | j@cocotec.io | 80% |
{first name} | john@cocotec.io | 20% |
About Cocotec
We build software development tools to help our customers build high-quality reliable software, accelerate development and deliver great products. Launched in 2019 as a spinout from the University of Oxford, we have developed some of the world’s most advanced scalable formal verification tools to automatically find a broad range of complex software errors that are known to be extremely difficult to eliminate using traditional testing practices alone. Building on this work, we launched our product, Popili, which brings the power of formal verification to developers as part of their everyday workflow. Popili provides a modern development environment for building software, which allows developers to eliminate errors early and quickly, start building their software much earlier than usual, and be confident their code will work reliably in production. Popili also helps developers to make changes at any stage reliably and fast, analyse software running in production, and formalise requirements. We work with companies across sectors, and our tools have already been used to deliver millions of lines of code for some of the world’s most advanced systems.
Employees by Management Level
Total employees: 1-10
Seniority
Employees
Employees by Department
Cocotec has 4 employees across 3 departments.
Departments
Number of employees
Funding Data
Cocotec has never raised funding before.
Cocotec Tech Stack
Discover the technologies and tools that power Cocotec's digital infrastructure, from frameworks to analytics platforms.
Performance
Search engines
Issue trackers
Miscellaneous
JavaScript libraries
Security
Analytics
IaaS
CDN
Documentation
Miscellaneous
Frequently asked questions
4.8
40,000 users



