Sebastian Conybeare

Urbana, IL

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.