398
reputation
5
11

Vijay D

Computer Scientist dabbling with logic, lattice theory, automata and their applications to reasoning about programs.
10
answers
2
questions
~30k
people reached
  • Oxford University
  • Member for 8 years, 9 months
  • 224 profile views
  • Last seen Apr 20 '15 at 18:33

Top tags (25)

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

Top posts (12) All Questions Answers | Votes Newest

View all questions and answers

Badges (16)

Gold

Silver

5

Rarest

Bronze

11

Rarest