511
reputation
3
11

Sebastian Conybeare

I'm a computer science undergrad at the University of Illinois. My interests include formal program verification, dependently typed programming, categorical logic, homotopy theory, algebraic geometry, and constructive mathematics.

9
answers
8
questions
~4k
people reached
  • Urbana, IL
  • Member for 5 years, 3 months
  • 121 profile views
  • Last seen Jun 10 '18 at 8:51

Top tags (26)

Score 7
Posts 2
Posts % 12
Score 7
Posts 2
Score 5
Posts 1
Score 0
Posts 4
Score 0
Posts 3
Score 0
Posts 2

Top posts (17) All Questions Answers | Votes Newest

View all questions and answers

Badges (14)

Gold

Silver

3

Rarest

Bronze

11

Rarest