Vijay D
  • Berkeley, CA
  • Member for 10 years, 6 months
Stats
12,126
reputation
480k
reached
82
answers
6
questions
Loading…
About

Research areas: program verification, static analysis, logic.

2
gold badges
32
silver badges
58
bronze badges

Top tags (86)

Score 902
Posts 8
Posts % 9
Score 521
Posts 6
Score 438
Posts 8
Score 203
Posts 28
Score 171
Posts 20
Score 83
Posts 8

Top posts (88)

View all questions and answers