Area 51 » Mike Shulman

251
reputation
56 views
discussion user
network profile

Registered User

name Mike Shulman
member for 8 years
seen Jan 17 at 1:13
website
location San Diego, CA

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

0

Proposals


0

Current Commitments


2

Fulfilled Commitments

Mathematics Educators

For those involved in the field of teaching mathematics.
define
commit
beta
106
days

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.
define
commit
public beta

0

Followed


0

Example Questions


5

Votes Cast

5 up

0 down