11,306
reputation
2
29
57

Vijay D

Research areas: program verification, static analysis, logic.

82
answers
6
questions
~443k
people reached
  • Berkeley, CA
  • Member for 8 years, 3 months
  • 3,858 profile views
  • Last seen Nov 3 '17 at 17:27

Top tags (86)

Score 870
Posts 8
Posts % 9
Score 503
Posts 6
Score 423
Posts 8
Score 198
Posts 28
Score 165
Posts 20
Score 81
Posts 8

Top posts (88) All Questions Answers | Votes Newest

View all questions and answers

Badges (88)

Gold

2

Rarest

Silver

29

Rarest

Bronze

57

Rarest