Neel Krishnaswami

Member for 13 years, 3 months
Last seen more than a month ago

GitHub
semantic-domain.blogspot.com
Cambridge, United Kingdom

Summary

Reputation

32,398

Next tag badge

10/100 score

2/20 answers

Badges

13

6

Newest

Yearling

Next badge

0/1

Excavator

Answers

Score Activity Newest

17

SIGACT and cstheory

Jan 4, 2011

5

Should we allow this type of question: "Evaluating a doctoral program/institute of CS"

Feb 21, 2011

5

CSTheory Blog Announcement and Signup Sheet

Jul 15, 2011

Questions

Score Activity Newest Views

This user has not asked any questions

Badges

View all badges

This user doesn’t have any gold badges yet.

13

silver badges

Yearling

× 13

Aug 27

6

bronze badges

Commentator

Mar 19, 2011
Editor

Jan 11, 2011
Critic

Feb 14, 2011

Tags

discussion

10

Score

3

posts

site-promotion

5

Score

2

posts

blog

5

Score

1

post

Accounts

View all 8 accounts

Theoretical Computer Science

32.4k
1
100
165

8,983
1
28
53

Proof Assistants

2,013
4
16

Computer Science

411
2
8

201
1

Votes cast

13

upvotes

1

downvotes

1

question vote

13

answer votes