445
reputation
3
10

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.

2
answers
3
questions
~2k
people reached
  • Urbana, IL
  • Member for 6 years
  • 292 profile views
  • Last seen Jul 2 '18 at 5:59

Top tags (12)

Score 13
Posts 2
Posts % 40
Score 13
Posts 2
Score 13
Posts 1
Score 13
Posts 1
Score 1
Posts 1
Score 1
Posts 1

Top posts (5)

Badges (13)

Gold

Silver

3

Rarest

Bronze

10

Rarest