736
reputation
4
12

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
~5k
people reached
  • Urbana, IL
  • Member for 6 years, 4 months
  • 155 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 1
Posts 3
Score 0
Posts 4
Score 0
Posts 2

Top posts (17)

View all questions and answers

Badges (16)

Gold

Silver

4

Rarest

Bronze

12

Rarest