Monoidics
London
About Monoidics
Monoidics is a high-tech enterprise specialising in automatic formal verification and analysis of software. Founded in the beginning of 2009 by a group of computer scientists from London and Cambridge, Monoidics designs automatic verification technology for safety critical industrial software. Monoidics' mission is to bring verification and program analysis research to the forefront of industrial practice. Based in London, Monoidics operates world-wide and has strong links with key industrial players in safety critical systems in Europe, USA, and Japan.
Company Facts
- Operating status: Closed
- Company type: For Profit
- IPO status: Private
- Employees: 11 – 50
- Website: monoidics.com
- Phone: 44 20 7300 7328
Social Profiles
Canonical: https://fsome.com/organization/monoidics-1274069 · For the full interactive profile (charts, investors, team, acquisitions, press), please enable JavaScript.