Membership Application for Safe Critical Rust Consortium #97
Description
What is your name?
Minghua Wang
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.
Ant Research
Why are you interested in joining the Safety Critical Rust Consortium?
Our team has been consistently engaged in the formal verification of Rust programs, including using BMC techniques for code-level memory safety verification and applying deductive verification techniques to verify Rust OS. By joining this consortium, we hope to learn from this community, communicate with like-minded people, and, more importantly, advance the development of Safe Rust.
Do you plan to be a producer or observer in the consortium?
Producer