Skip to main content
Vijay D's user avatar
Vijay D's user avatar
Vijay D's user avatar
Vijay D
  • Member for 13 years, 2 months
  • Last seen more than 10 years ago
  • Berkeley, CA
Stats
12,566
reputation
585
reached
1
answer
1
question
Loading…
About

Research areas: program verification, static analysis, logic.

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