Membership application for Sasha Pourcelot (TrustInSoft) #86
Description
What is your name?
Sasha Pourcelot
What is your preferred email address?
Do you represent a company, institution, consortium, yourself or other entity?
Company
If you represent a company, institution, consortium, or other entity, please enter it here.
TrustInSoft
Why are you interested in joining the Safety Critical Rust Consortium?
As a software publisher of formal verification tools for C and C++ for safety and security-critical industries, we intend to bring our expertise in terms of tooling and processes.
Do you plan to be a producer or observer in the consortium?
Producer