Theoretical Computer Science
Meta user
Network profile
388
reputation
1
10

Mike Shulman

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

2
answers
3
questions
~704
people reached
  • San Diego, CA
  • sandiego.edu/~shulman
  • Member for 5 years, 2 months
  • 43 profile views
  • Last seen Dec 11 '19 at 0:00

Communities (18)

Top network posts

Top tags (9)

Score 5
Posts 1
Posts % 20
Score 5
Posts 1
Score 2
Posts 3
Score 2
Posts 2
Score 2
Posts 2
Score 0
Posts 2
View all tags →

Top posts (5) All Questions Answers | Votes Newest

11 Representing bound variables with a function from uses to binders Sep 6 '18
5 A stronger multiplexing rule for soft linear logic? Jun 12 '18
5 Obtaining the Axiom of Choice through a modality in HTT Sep 26 '19
4 Semantic read-back of sharing graphs Oct 3 '19
2 A stronger multiplexing rule for soft linear logic? Jun 13 '18

Badges (11)

Gold

—

Silver

1

Rarest

Bronze

10

Rarest

View all badges →