Monoidics Ltd
It Services And It Consulting
United States
3 employees
- Employees
- 3
- Contacts
- 1
- Emails
- 1
- Phones
- 1
Monoidics Ltd Overview
- Headquarters
- United States
- Phone Number
- Available in AeroLeads
- Website
- monoidics.com
- Industry
- It Services And It Consulting
- Employees
- 3
- Founded
- 2009
- Company Email
- Available in AeroLeads
- NAICS
-
Computer Systems Design and Related ServicesOther Computer Related Services
About Monoidics Ltd
Monoidics provides cutting-edge solutions for formal verification, memory safety analysis, termination analysis, and security of software. Monoidics solutions are on the forefront of research in automatic formal verification and analysis. We help our clients to comply with the challenges related to high integrity, security and performance of their software products.
Monoidics Ltd Contact Details
- People in AeroLeads
- 1
- With contact data
- 1
- Email contacts
- 1
- 100.0% coverage
- Phone contacts
- 1
- 100.0% coverage
Monoidics Ltd Org Chart
Sample employees and titles| Name | Title | Location | Contact |
|---|---|---|---|
| Dominik Gabi | Software Engineer at Facebook | San Francisco Bay Area, United States |
Email
Phone
|
Compare Similar Companies to Monoidics Ltd
Anthropic
Research Services
Lacework
Computer And Network Security
Connected Electronic and Photonic Systems - Centre for Doctoral Training
Higher Education
Gamify Bites
Mobile Gaming Apps
SpæS
Think Tanks
UKRI AI Centre for Doctoral Training in Decision Making for Complex Systems
Higher Education
Cantab Capital Partners
Investment Management
Correct Computation
Computer And Network Security
Foundational AI at Manchester
Higher Education
QuantIntuition
Education