10,301 reputation
2 25 54

Vijay D

Research areas: program verification, static analysis, logic.

Top Tags (87)

Score 800
Posts 8
Posts % 9
Score 460
Posts 6
Score 393
Posts 8
Score 186
Posts 28
Score 159
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