Neel Krishnaswami

Member for 11 years, 10 months
Last seen more than a month ago

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

Summary

Reputation

31,626

Next tag badge

10/100 score

2/20 answers

Badges

11

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.

11

silver badges

Yearling

× 11

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

Bookmarks

Score Activity Newest Views Added

This user has no bookmarked questions.

Accounts

View all 7 accounts

Theoretical Computer Science

31.6k
1
94
163

8,713
1
26
53

Proof Assistants

1,607
3
14

Computer Science

411
2
7

201
1

Votes cast

13

upvotes

1

downvotes

1

question vote

13

answer votes