Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Theoretical Computer Science
Meta User
Network Profile
27,032
reputation
78
153

Neel Krishnaswami

Apparently, this user prefers to keep an air of mystery about them.

205
answers
34
questions
~207k
people reached

Communities (4)

Top Meta Posts
0
3

Top Network Posts

Top Tags (148)

Score 699
Posts 75
Posts % 31
Score 644
Posts 71
Score 505
Posts 48
Score 439
Posts 23
Score 338
Posts 29
Score 285
Posts 24
View all tags →

Top Posts (239) All Questions Answers | Votes Newest

56 Realizability theory: difference in power between Lambda calculus and Turing Machines Sep 9 '10
42 Halting problem, uncomputable sets: common mathematical proof? Mar 11 '12
37 Programming languages with canonical functions Mar 9 '12
35 Explaining Applicative functor in categorical terms - monoidal functors Aug 27 '12
35 Solid applications of category theory in TCS? Sep 4 '10
34 Does there exist an extension of regular expressions that captures the context free languages? Mar 17 '13
30 Is there a sensible notion of an approximation algorithm for an undecidable problem? Dec 30 '10
30 Are there “small” machines which can efficiently match regular expressions? Sep 10 '10
28 What do we know about provably correct programs? Jan 1 '11
26 Relationship between contracts and dependent typing Mar 1 '11
View all questions and answers →

Badges (231)

Gold

—

Silver

78

Rarest

Bronze

153

Rarest

View all badges →