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.

Top Tags (3)

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

Top Posts (3) All Questions Answers | Votes Newest

Badges (4)

Gold
Silver
Bronze 4

Rarest