Vijay D
  • Berkeley, CA
  • Member for 10 years, 7 months
About

Research areas: program verification, static analysis, logic.

2
gold badges
32
silver badges
58
bronze badges
901
Score
8
Posts
9
Posts %
520
Score
6
Posts
7
Posts %
440
Score
8
Posts
9
Posts %
203
Score
28
Posts
32
Posts %
171
Score
20
Posts
23
Posts %
83
Score
8
Posts
9
Posts %
Top posts
View all questions and answers