216
reputation
1
4

Vijay D

Research areas: program verification, static analysis, logic.

2
answers
0
questions
~2k
people reached
  • Berkeley, CA
  • Member for 7 years, 5 months
  • 36 profile views
  • Last seen Nov 14 '13 at 4:34

Top tags (3)

Score 8
Posts 1
Score 8
Posts 1
Score 2
Posts 1

Top posts (2)

Badges (5)

Gold

Silver

1

Rarest

Bronze

4

Rarest