What is your name?
Dr. Erik Rose
What is your preferred email address?
erik.w.rose@gmail.com
Do you represent a company, institution, consortium, yourself or other entity?
Myself
If you represent a company, institution, consortium, or other entity, please enter it here.
Individual
Why are you interested in joining the Safety Critical Rust Consortium?
I have a passion for formal verification systems in Rust, such as Kani, Creusot and Verus. Formal verification has a strong value proposition in safety-critical applications, and perhaps in some related fields of privacy and security that we encounter in the government sector, where I currently work.
As a trained civil servant, I also have extensive experience reading and writing policy documents. I am interested in participating in the conversation around coding guidelines in particular, and would be open to committee work.
Do you plan to be a producer or observer in the consortium?
Observer
What is your name?
Dr. Erik Rose
What is your preferred email address?
erik.w.rose@gmail.com
Do you represent a company, institution, consortium, yourself or other entity?
Myself
If you represent a company, institution, consortium, or other entity, please enter it here.
Individual
Why are you interested in joining the Safety Critical Rust Consortium?
I have a passion for formal verification systems in Rust, such as Kani, Creusot and Verus. Formal verification has a strong value proposition in safety-critical applications, and perhaps in some related fields of privacy and security that we encounter in the government sector, where I currently work.
As a trained civil servant, I also have extensive experience reading and writing policy documents. I am interested in participating in the conversation around coding guidelines in particular, and would be open to committee work.
Do you plan to be a producer or observer in the consortium?
Observer