Homepage

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