user avatar
user avatar
user avatar
Vijay D
  • Member for 11 years, 2 months
  • Last seen more than 8 years ago
  • Berkeley, CA
Stats
12,256
reputation
573
reached
1
answer
1
question
Loading…
About

Research areas: program verification, static analysis, logic.

This user doesn’t have any gold badges yet.
11
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 %