Stack Overflow
Stack Overflow

Xavier Denis
406
reputation
3
14
  • Member since September 01 2011
  • 28 profile views
  • Last seen Sep 01 '23 at 15:22

PhD student in Paris, studying deductive verification of Rust programs.