Theoretical Computer Science
Neel Krishnaswami's user avatar
Neel Krishnaswami's user avatar
Neel Krishnaswami's user avatar
Neel Krishnaswami
  • Member for 13 years, 3 months
  • Last seen more than a week ago
Profile Activity
Stats
32,408
reputation
295k
reached
225
answers
35
questions
Communities
View all
Badges
View all badges
1
gold badge
100
silver badges
165
bronze badges
Top tags
View all tags
792
Score
79
Posts
30
Posts %
706
Score
73
Posts
28
Posts %
622
Score
63
Posts
24
Posts %
475
Score
23
Posts
9
Posts %
414
Score
32
Posts
12
Posts %
329
Score
33
Posts
13
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
71
Realizability theory: difference in power between Lambda calculus and Turing Machines
Sep 9, 2010
answer
43
Explaining Applicative functor in categorical terms - monoidal functors
Aug 27, 2012
answer
42
Programming languages with canonical functions
Mar 9, 2012
answer
42
Halting problem, uncomputable sets: common mathematical proof?
Mar 11, 2012
answer
37
Does there exist an extension of regular expressions that captures the context free languages?
Mar 17, 2013
answer
36
Solid applications of category theory in TCS?
Sep 4, 2010
answer
35
How do you get the Calculus of Constructions from the other points in the Lambda Cube?
Jun 29, 2016
answer
32
Is there a sensible notion of an approximation algorithm for an undecidable problem?
Dec 30, 2010
question
30
Are there "small" machines which can efficiently match regular expressions?
Sep 10, 2010
question
28
How should I think about proof nets?
Jan 21, 2013
Top Meta posts
0
3
17
SIGACT and cstheory
5
Should we allow this type of question: "Evaluating a doctoral program/institute of CS"
5
CSTheory Blog Announcement and Signup Sheet
Top network posts
View all network posts
66
Is there any formal foundation to ultrafinitism?
57
Is there an introduction to probability theory from a structuralist/categorical perspective?
37
Presburger Arithmetic
32
The unification of Mathematics via Topos Theory
31
How do they verify a verifier of formalized proofs?

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.