Theoretical Computer Science
Vijay D's user avatar
Vijay D's user avatar
Vijay D's user avatar
Vijay D
  • Member for 12 years
  • Last seen more than 9 years ago
  • Berkeley, CA
Profile Activity
Stats
12,456
reputation
578
reached
1
answer
1
question
Communities
View all
About

Research areas: program verification, static analysis, logic.

Badges
View all badges
This user doesn’t have any gold badges yet.
12
silver badges
6
bronze badges
Top tags
6
Score
2
Posts
100
Posts %
6
Score
1
Posts
50
Posts %
6
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
answer
6
Should the question about structure of resolution proofs be closed?
Feb 18, 2013
question
3
Help answering the "CS applications of logic" question
Jan 14, 2013
Top network posts
View all network posts
495
Core algorithms deployed
355
What is the enlightenment I'm supposed to attain after studying finite automata?
34
How practical is Automata Theory?
33
Applications of topology to computer science
30
Most memorable CS paper titles

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.