PROOFCRAFT
Who is PROOFCRAFT?
We offer commercial support, verification projects, training and consulting in formal software verification in general and the seL4 microkernel in particular.
Industry & Specialities
Information & Communications Technology (ICT)
Software & App Development
Countries of Operation
Australia
Headquarters:
Australia
Company Type:
SME
Company size:
1-10 Employees
Year Founded:
2021 (5 years)
Address:
SYDNEY, NSW, AU
Employees by Department
Key Decision Makers
Michael Mcinerney
Senior Proof Engineer
Corey Lewis
Principal Proof Engineer
June Andronick
CEO and co-founder
Employees by Seniority
C-level
1employees
Senior
1employees
Non-managers
0employees
Financials
LOW
spending power
Funding Status
Private
Associated Legal Entities
0 entities
Discover More Companies
Lookalike companies
Featured Lists
- SMEs in Singapore
- MNCs / Large Enterprises in Singapore
Frequently Asked Questions (FAQ)
- How long has PROOFCRAFT been operating for?
- What is the funding status of PROOFCRAFT?
- Where is PROOFCRAFT's headquarter?
- What PROOFCRAFT's spending power?
- Does PROOFCRAFT have a presence in the domain it operates in?