161
reputation
4

Vijay D

I identify intellectually as a computer scientist and a logician. My research areas include program verification, static analysis, logic. I have an enduring interest in formal languages, automata theory, linguistics and Bayesian reasoning.

3
answers
0
questions
~2k
people reached
  • Berkeley, CA
  • Member for 7 years, 10 months
  • 33 profile views
  • Last seen Apr 17 '16 at 5:26

Top tags (3)

Score 6
Posts 2
Score 5
Posts 1
Score 0
Posts 1

Top posts (3)

Badges (4)

Gold

Silver

Bronze

4

Rarest