10,001 reputation
2 23 53

Vijay D

Research areas: program verification, static analysis, logic.

Top Tags (87)

Score 782
Posts 8
Posts % 9
Score 450
Posts 6
Score 381
Posts 8
Score 184
Posts 28
Score 156
Posts 21
Score 78
Posts 8

Top Posts (89) All Questions Answers | Votes Newest

View all questions and answers

Badges (78)

Gold 2

Rarest

Silver 23

Rarest

Bronze 53

Rarest