348 reputation
4 11

Vijay D

Computer Scientist dabbling with logic, lattice theory, automata and their applications to reasoning about programs.

Top Tags (24)

Score 14
Posts 4
Posts % 31
Score 8
Posts 1
Score 4
Posts 4
Score 3
Posts 2
Score 3
Posts 2
Score 2
Posts 1

Top Posts (13) All Questions Answers | Votes Newest

View all questions and answers

Badges (15)

Gold
Silver 4

Rarest

Bronze 11

Rarest