Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
11,096
reputation
2
28
57

Vijay D

Research areas: program verification, static analysis, logic.

82
answers
6
questions
~434k
people reached
  • Berkeley, CA
  • Member for 7 years, 9 months
  • 3,791 profile views
  • Last seen Nov 3 '17 at 17:27

Top Tags (86)

Score 857
Posts 8
Posts % 9
Score 495
Posts 6
Score 416
Posts 8
Score 194
Posts 28
Score 164
Posts 20
Score 80
Posts 8

Top Posts (88) All Questions Answers | Votes Newest

View all questions and answers

Badges (87)

Gold

2

Rarest

Silver

28

Rarest

Bronze

57

Rarest