Area 51 » Mike Shulman

info activity reputation

reputation

56 views

Registered User

I am an associate professor of mathematics at the University of San Diego. My research is on homotopy type theory and higher category theory.

stats accounts

For those involved in the field of teaching mathematics.

define

commit

beta

106

days

For mathematicians and computer scientists who develop and use proof assistants.

define

commit

public beta

5 up

0 down

user feed