814
reputation
4
9

Vijay D

Research areas: program verification, static analysis, logic.

11
answers
0
questions
~18k
people reached
  • Berkeley, CA
  • Member for 8 years, 11 months
  • 136 profile views
  • Last seen Nov 6 '17 at 17:00

Top tags (23)

Score 39
Posts 6
Posts % 55
Score 29
Posts 3
Score 23
Posts 2
Score 21
Posts 2
Score 15
Posts 2
Score 12
Posts 2

Top posts (11)

View all questions and answers

Badges (13)

Gold

Silver

4

Rarest

Bronze

9

Rarest