user avatar
user avatar
user avatar
Vijay D
  • Member for 11 years, 5 months
  • Last seen more than 7 years ago
  • Oxford University
Stats
398
reputation
35k
reached
10
answers
2
questions
Loading…
About
Computer Scientist dabbling with logic, lattice theory, automata and their applications to reasoning about programs.
This user doesn’t have any gold badges yet.
5
silver badges
11
bronze badges
14
Score
4
Posts
33
Posts %
8
Score
1
Posts
8
Posts %
4
Score
4
Posts
33
Posts %
3
Score
2
Posts
17
Posts %
3
Score
2
Posts
17
Posts %
2
Score
1
Posts
8
Posts %
Top posts
View all questions and answers