Vijay D
  • Member for 9 years, 8 months
  • Last seen more than 4 years ago
  • Berkeley, CA
Stats
824
reputation
18k
reached
11
answers
0
questions
Loading…
About

Research areas: program verification, static analysis, logic.

This user doesn’t have any gold badges yet.
4
silver badges
9
bronze badges
39
Score
6
Posts
55
Posts %
29
Score
3
Posts
27
Posts %
23
Score
2
Posts
18
Posts %
21
Score
2
Posts
18
Posts %
16
Score
2
Posts
18
Posts %
12
Score
2
Posts
18
Posts %