Theoretical Computer Science
Profile Activity
Meta user
Network profile
398
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
~783
people reached
  • San Diego, CA
  • sandiego.edu/~shulman
  • Member for 5 years, 7 months
  • 48 profile views
  • Last seen May 22 at 20:04

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 Semantic read-back of sharing graphs Oct 3 '19
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
2 A stronger multiplexing rule for soft linear logic? Jun 13 '18

Badges (11)

Gold

—

Silver

1

Rarest

Bronze

10

Rarest

View all badges →