Skip to main content
Xavier Denis's user avatar
Xavier Denis's user avatar
Xavier Denis's user avatar
Xavier Denis
  • Member for 4 years, 10 months
  • Last seen more than a week ago
Stats
121
reputation
469
reached
0
answers
2
questions
About

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

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Top tags
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts