Vijay D's user avatar
Vijay D's user avatar
Vijay D's user avatar
Vijay D
  • Member for 11 years, 3 months
  • Last seen more than 5 years ago
  • Berkeley, CA
Stats
844
reputation
20k
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
41
Score
6
Posts
55
Posts %
29
Score
3
Posts
27
Posts %
24
Score
2
Posts
18
Posts %
21
Score
2
Posts
18
Posts %
16
Score
2
Posts
18
Posts %
12
Score
2
Posts
18
Posts %
Top posts
View all questions and answers