Prospeo
Hero Section BackgroundHero Section Background
Cocotec

Cocotec Revenue

Software DevelopmentFlag of GBGuildford, England, United Kingdom1-10 Employees

$

Cocotec revenue & valuation

Annual revenue$513,330
Revenue per employee$86,000
Estimated valuation?$1,700,000
Total fundingNo funding

Key Contacts at Cocotec

Flag of GB

Philippa Broadfoot

Chief Executive Officer

Flag of GB

Thomas Gibson-Robinson

Chief Technology Officer

Company overview

HeadquartersGuildford, England, United Kingdom
Website
Keywords
Formal Verification, Software Development Tools, Coco Programming Language, Popili
Employees1-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.

FormatExamplePercentage
{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

C-Suite
Senior

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.

Google Cloud Trace

Google Cloud Trace

Performance

Algolia

Algolia

Search engines

Atlassian Statuspage

Atlassian Statuspage

Issue trackers

HTTP/3

HTTP/3

Miscellaneous

Glide.js

Glide.js

JavaScript libraries

HSTS

HSTS

Security

Fathom

Fathom

Analytics

Google Cloud

Google Cloud

IaaS

Google Cloud CDN

Google Cloud CDN

CDN

Zendesk

Zendesk

Documentation

Google Cloud Storage

Google Cloud Storage

Miscellaneous

Microsoft 365

Microsoft 365

Email

Frequently asked questions

Cocotec is located in Guildford, England, GB.
Cocotec generates an estimated annual revenue of $513,330. This revenue figure reflects the company's market position and business performance in its industry.
Cocotec has an estimated valuation of $1,700,000. This valuation is calculated based on industry-standard revenue multiples and reflects the company's growth potential and market positioning.
Cocotec has approximately 1-10 employees. The company continues to grow its workforce to support its business operations and expansion.

4.8

40,000 users

top 50
high performer
most used
tier 1 accuracy

Build leads list with verified emails & mobiles