Skip to main content
Theoretical Computer Science
Vijay D's user avatar
Vijay D's user avatar
Vijay D's user avatar
Vijay D
  • Member for 13 years, 4 months
  • Last seen more than 5 years ago
  • Berkeley, CA
Profile Activity
Stats
12,566
reputation
516k
reached
82
answers
6
questions
Communities
View all
About

Research areas: program verification, static analysis, logic.

Badges
View all badges
2
gold badges
35
silver badges
61
bronze badges
Top tags
View all tags
919
Score
8
Posts
9
Posts %
530
Score
6
Posts
7
Posts %
449
Score
8
Posts
9
Posts %
213
Score
28
Posts
32
Posts %
181
Score
20
Posts
23
Posts %
83
Score
8
Posts
9
Posts %
Top posts
View all questions and answers
497
Core algorithms deployed
Nov 13, 2013
358
What is the enlightenment I'm supposed to attain after studying finite automata?
Dec 23, 2012
34
Applications of topology to computer science
Apr 7, 2011
34
How practical is Automata Theory?
Oct 11, 2011
30
Most memorable CS paper titles
Oct 22, 2014
22
Beautiful results in TCS
Feb 27, 2012
22
A topological space related to SAT: is it compact?
Sep 5, 2011
21
What is theoretical computer science?
Nov 4, 2013
19
Do past time LTL and future time LTL have the same expressiveness?
Feb 11, 2015
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
Categorical Semantics for Second-Order Logics
9
Fixed point, what does it mean in the world of computer science