🔭 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.
• I intend this blog to be where I publish notes I’ve made about the design or semantics of Rust
  • You may find some such notes in my HackMD or gists already; I may turn some of these into posts.

📫 Contact

• I’m Nadrieril everywhere: GitHub, Twitter.
• For matters related to Rust, find me on the Rust Zulip;
• For matters related to Charon more specifically, find me on the AeneasVerif Zulip;
• Otherwise you can try my email (name @gmail.com); be warned that I receive so much spam I no longer check my spam folder.