97
reputation
6

xamid

I am a theoretical computer scientist, mainly concerned with logics; proof theory and automated theorem proving. I am developing tools to ease my life.

Note about cs.stackexchange: I've been here for one day. I saw several correct answers concerning recursion theory which were hardly visible due to the incapacity of apparently most individuals in this community. Meanwhile, accepted answers are false, excessively upvoted, with comment sections guarded by moderators deleting critical comments. My answer based on expertise was downvoted 3 times in a few hours thus rendered virtually invisible. What the hell. Bye bye, cs.stackexchange. May we never meet again.

1
answer
0
questions
0
people reached
  • Member for 2 years, 6 months
  • 12 profile views
  • Last seen Sep 20 at 5:16

Top tags (3)

Score -4
Posts 1
Score -4
Posts 1
Score -4
Posts 1

Top posts (1) All Questions Answers | Votes Newest

Badges (6)

Gold

Silver

Bronze

6

Rarest