Stack Exchange

Vijay D

Oxford University

Computer Scientist dabbling with logic, lattice theory, automata and their applications to reasoning about programs.
top accounts reputation activity subscriptions
Top Questions
Top Answers
496
Core algorithms deployed
cstheory.stackexchange.com

356
What is the enlightenment I'm supposed to attain after studying finite automata?
cstheory.stackexchange.com

34
How practical is Automata Theory?
cstheory.stackexchange.com

33
Applications of topology to computer science
cstheory.stackexchange.com

30
Most memorable CS paper titles
cstheory.stackexchange.com

27
Is there an image for you that epitomizes mathematics?
mathoverflow.net

22
Beautiful results in TCS
cstheory.stackexchange.com

22
A topological space related to SAT: is it compact?
cstheory.stackexchange.com

21
What is theoretical computer science?
cstheory.stackexchange.com

19
Do past time LTL and future time LTL have the same expressiveness?
cstheory.stackexchange.com

19
Why can machine learning not recognize prime numbers?
cstheory.stackexchange.com

18
Equivalence of Büchi automata and linear $\mu$-calculus
cs.stackexchange.com

18
Starting SAT solver papers
cstheory.stackexchange.com

17
What is the goal behind abstract interpretation in programming languages?
cstheory.stackexchange.com

16
What could be some potentially useful mathematical databases?
mathoverflow.net

16
What algorithms exist for construction a DFA that recognizes the language described by a given regex?
cstheory.stackexchange.com

16
How can I use my computational theory and analysis powers for the greater good?
cstheory.stackexchange.com

15
Pointers for CS applications of logic
cstheory.stackexchange.com

15
Casual tours around proofs
cstheory.stackexchange.com

14
Enumerate all solutions of a SAT problem
cstheory.stackexchange.com

14
Is there a hidden link between the existence uncountable sets and the undecidability of the halting problem?
cstheory.stackexchange.com

13
Uses of algebraic structures in theoretical computer science
cstheory.stackexchange.com

13
Regular languages from category-theoretical point of view
cstheory.stackexchange.com

13
The concept of duality
mathoverflow.net

12
Automated theorem proving via unsupervised approaches
cstheory.stackexchange.com

11
Beautiful results in TCS
cstheory.stackexchange.com

11
Practical applications of parity games
cstheory.stackexchange.com

11
Alan Turing's Contributions to Computer Science
cstheory.stackexchange.com

11
Unification and Gaussian Elimination
cstheory.stackexchange.com

11
To what extent can an algorithm predict the time complexity an arbitrary input program?
cstheory.stackexchange.com

1 2 3