Vijay D's user avatar
Vijay D's user avatar
Vijay D's user avatar
Vijay D
  • Member for 12 years, 9 months
  • Last seen more than 10 years ago
  • Berkeley, CA
Stats
12,556
reputation
582
reached
1
answer
1
question
Loading…
About

Research areas: program verification, static analysis, logic.

This user doesn’t have any gold badges yet.
12
silver badges
6
bronze badges
Top tags
6
Score
2
Posts
100
Posts %
6
Score
1
Posts
50
Posts %
6
Score
1
Posts
50
Posts %