Proofcraft
Software Development
Nsw, Au
5 employees
- Employees
- 5
- Contacts
- 1
- Emails
- 1
Proofcraft Overview
- Headquarters
- Nsw, Au
- Website
- proofcraft.systems
- Industry
- Software Development
- Employees
- 5
- Founded
- 2021
- NAICS
-
Software Publishers
About Proofcraft
We offer commercial support, verification projects, training and consulting in formal software verification in general and the seL4 microkernel in particular.
Proofcraft Contact Details
- People in AeroLeads
- 2
- With contact data
- 1
- Email contacts
- 1
- 50.0% coverage
Proofcraft Org Chart
Sample employees and titles| Name | Title | Location | Contact |
|---|---|---|---|
| June Andronick | CEO and Co-founder at Proofcraft; CEO |
View
|
|
| Gerwin Klein | Chief Scientist & Co-founder | Sydney, New South Wales, Australia |
Email
|
Compare Similar Companies to Proofcraft
Galois, Inc.
Software Development
Axiomise
Semiconductor Manufacturing
Kry10
Embedded Software Products
Verifore Inc.
Semiconductor Manufacturing
seL4 Foundation
Software Development
FirstEDA Limited
Semiconductors
SecOPERA
Technology, Information And Internet
Formal Land
Software Development
Formal Verification
Research
Opo'arch Formal Methods
Architecture And Planning