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 3 years ago
  • Berkeley, CA
Profile Activity
Stats
12,456
reputation
501k
reached
82
answers
6
questions
Communities
View all
About

Research areas: program verification, static analysis, logic.

Badges
View all badges
2
gold badges
34
silver badges
60
bronze badges
Top tags
View all tags
914
Score
8
Posts
9
Posts %
528
Score
6
Posts
7
Posts %
446
Score
8
Posts
9
Posts %
209
Score
28
Posts
32
Posts %
177
Score
20
Posts
23
Posts %
83
Score
8
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
495
Core algorithms deployed
Nov 13, 2013
answer
355
What is the enlightenment I'm supposed to attain after studying finite automata?
Dec 23, 2012
answer
34
How practical is Automata Theory?
Oct 11, 2011
answer
33
Applications of topology to computer science
Apr 7, 2011
answer
30
Most memorable CS paper titles
Oct 22, 2014
answer
22
Beautiful results in TCS
Feb 27, 2012
answer
22
A topological space related to SAT: is it compact?
Sep 5, 2011
answer
21
What is theoretical computer science?
Nov 4, 2013
answer
19
Do past time LTL and future time LTL have the same expressiveness?
Feb 11, 2015
answer
19
Why can machine learning not recognize prime numbers?
Jan 11, 2013
Top Meta posts
1
1
6
Should the question about structure of resolution proofs be closed?
3
Help answering the "CS applications of logic" question
Top network posts
View all network posts
18
Equivalence of Büchi automata and linear $\mu$-calculus
16
What could be some potentially useful mathematical databases?
13
The concept of duality
9
Fixed point, what does it mean in the world of computer science
9
Categorical Semantics for Second-Order Logics

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.