🔠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.