10,171 reputation
2 25 54

Vijay D

Research areas: program verification, static analysis, logic.

Top Tags (87)

Score 795
Posts 8
Posts % 9
Score 457
Posts 6
Score 388
Posts 8
Score 184
Posts 28
Score 158
Posts 21
Score 78
Posts 8

Top Posts (89) All Questions Answers | Votes Newest

View all questions and answers

Badges (81)

Gold 2

Rarest

Silver 25

Rarest

Bronze 54

Rarest