12,096
reputation
2
32
58

Vijay D
Loading…

Research areas: program verification, static analysis, logic.

82
answers
6
questions
~478k
people reached
  • Berkeley, CA
  • Member for 10 years, 5 months
  • 4,118 profile views
  • Last seen Jul 20 '19 at 21:21

Top tags (86)

Score 899
Posts 8
Posts % 9
Score 519
Posts 6
Score 437
Posts 8
Score 203
Posts 28
Score 171
Posts 20
Score 83
Posts 8

Top posts (88)

View all questions and answers

Badges (92)

Gold

2

Rarest

Silver

32

Rarest

Bronze

58

Rarest