π About Me I'm a Research Engineer at Inria Paris (France), working on Charon. I'm a contributor to the Rust project and member of the compiler and lang-advisor teams. I specialize in features related to pattern-matching. Check out my blog! π GitHub Stats π« Contact For matters related to Rust, I'm @Nadrieril on the Rust Zulip; For matters related to Charon more specifically, I'm @Nadrieril on the AeneasVerif Zulip; For other matters, try my email.