Membership Application for Sam K

[hashcatHitman]

What is your name?

Sam K

What is your preferred email address?

safety-critical.duty195@passmail.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'm a student with a love for Rust and an interest in formal methods. I care deeply about writing code that is safe, correct, secure, performant, and maintainable.

I'm also generally interested in any work I believe will make it easier to write correct code in Rust, such as refinement types (seems like pattern types might cover this? excited about those regardless), effects (along the lines of what is described in this blogpost by Yoshua Wuyts), safety tags, and of course, lints. I want to keep up to date with new tools and best practices for writing safety-critical Rust in the hope that I will learn how to do so effectively. I would absolutely love to be a producer, but I don't think I have the skill set at the moment. I'll be keeping an eye out for opportunities for mentorship/a career and would love to contribute to the space.

I'll also probably attend meetings when I can, but I don't tend to have much time for such as a student.

Do you plan to be a producer or observer in the consortium?

Observer

[hashcatHitman]

I wasn't sure if this needed to be accepted or not before I could apply to subcommittees. I saw prior discussion in the Zulip thread that seemed to imply I didn't need to wait, so I've opened #512 and #513 as well.