Skip to main content
MathOverflow
Vijay D's user avatar
Vijay D's user avatar
Vijay D's user avatar
Vijay D
  • Member for 13 years, 9 months
  • Last seen more than 9 years ago
  • Oxford University
Profile Activity
Stats
378
reputation
39k
reached
10
answers
2
questions
Communities
View all
About
Computer Scientist dabbling with logic, lattice theory, automata and their applications to reasoning about programs.
Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
11
bronze badges
Top tags
View all tags
12
Score
4
Posts
33
Posts %
7
Score
1
Posts
8
Posts %
4
Score
4
Posts
33
Posts %
3
Score
2
Posts
17
Posts %
3
Score
2
Posts
17
Posts %
2
Score
1
Posts
8
Posts %
Top posts
View all questions and answers
answer
16
What could be some potentially useful mathematical databases?
Jun 21, 2011
answer
13
The concept of duality
Aug 27, 2011
question
9
Categorical Semantics for Second-Order Logics
Oct 24, 2013
answer
7
Is there a theorem that says that there is always more than one way to "continue a finite sequence"?
Sep 13, 2011
answer
6
What's a magical theorem in logic?
Aug 30, 2011
answer
3
"Duals" of Lindenbaum algebras
Sep 17, 2011
answer
2
Program transformation as alternative for Hoare logic or temporal logic
Jul 21, 2011
answer
2
Transition Graph per alphabet?
Jul 24, 2011
question
1
Why the preimage rather than image in Stone-type dualities.
Jan 9, 2013
answer
1
Do Turing Machines generates any nontrivial lattice on the set o symbols or states?
Mar 7, 2011
Top network posts
View all network posts
498
Core algorithms deployed
360
What is the enlightenment I'm supposed to attain after studying finite automata?
36
Applications of topology to computer science
34
How practical is Automata Theory?
30
Most memorable CS paper titles