Do you represent a company, institution, consortium, yourself or other entity?
Other Entity
If you represent a company, institution, consortium, or other entity, please enter it here.
Atlas Computing, R&D nonprofit
Why are you interested in joining the Safety Critical Rust Consortium?
Atlas is interested in promoting Rust tools in the formal methods realm, and also contribute to experiments such as AI-assisted formal specs translated from natural languages.
Do you plan to be a producer or observer in the consortium?
What is your name?
Bogdan Stanciu
What is your preferred email address?
bogdan@atlascomputing.org
Do you represent a company, institution, consortium, yourself or other entity?
Other Entity
If you represent a company, institution, consortium, or other entity, please enter it here.
Atlas Computing, R&D nonprofit
Why are you interested in joining the Safety Critical Rust Consortium?
Atlas is interested in promoting Rust tools in the formal methods realm, and also contribute to experiments such as AI-assisted formal specs translated from natural languages.
Do you plan to be a producer or observer in the consortium?
Observer