Computer Science
Profile Activity
Meta user
Network profile
483
reputation
3
9

Boris

I'm a student in Computer Science. Logic is my main interest.

1
answer
2
questions
~6k
people reached
  • Paris, France
  • Member for 4 years, 9 months
  • 25 profile views
  • Last seen Feb 5 at 14:29

Communities (11)

Top network posts

Top tags (6)

Score 25
Posts 3
Posts % 100
Score 25
Posts 1
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (3)

All Questions Answers
Votes Newest
25 What exactly is a logic? Mar 25 '18
9 What is the current status of parallel or concurrent programs in the Curry-Howard isomorphism? Mar 25 '17
4 What is the role of abstract machines in the Curry-Howard isomorphism? Mar 25 '17

Badges (12)

Gold

—

Silver

3

Rarest

Bronze

9

Rarest

View all badges →