Skip to main content
Vijay D's user avatar
Vijay D's user avatar
Vijay D's user avatar
Vijay D
  • Member for 13 years, 3 months
  • Last seen more than 4 years ago
  • Berkeley, CA
Stats
12,566
reputation
515k
reached
82
answers
6
questions
Loading…
About

Research areas: program verification, static analysis, logic.

2
gold badges
35
silver badges
61
bronze badges
919
Score
8
Posts
9
Posts %
530
Score
6
Posts
7
Posts %
449
Score
8
Posts
9
Posts %
213
Score
28
Posts
32
Posts %
181
Score
20
Posts
23
Posts %
83
Score
8
Posts
9
Posts %
Top posts
View all questions and answers