350
reputation
2
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 4 years, 10 months
  • 223 profile views
  • Last seen Jul 2 '18 at 5:59

Top tags (12)

Score 12
Posts 2
Posts % 40
Score 12
Posts 2
Score 12
Posts 1
Score 12
Posts 1
Score 1
Posts 1
Score 1
Posts 1

Top posts (5) All Questions Answers | Votes Newest

Badges (12)

Gold

Silver

2

Rarest

Bronze

10

Rarest