Vijay D
  • Berkeley, CA
  • Member for 10 years, 7 months
Stats
12,136
reputation
569
reached
1
answers
1
questions
Loading…
About

Research areas: program verification, static analysis, logic.

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