Vijay Dless info
|visits||member for||1 year, 2 months|
|seen||Dec 15 '13 at 3:32|
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 Votes Cast
|all time||by type|