21,814
reputation
1
49
89

Andrej Bauer

I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, type theory, homotopy type theory, and semantics of programming languages.

300
answers
1
question
~360k
people reached

Top tags (160)

Score 411
Posts 60
Posts % 20
Score 399
Posts 71
Score 311
Posts 45
Score 300
Posts 49
Score 251
Posts 45
Score 251
Posts 36

Top posts (301) All Questions Answers | Votes Newest

View all questions and answers

Badges (139)

Gold

1

Rarest

Silver

49

Rarest

Bronze

89

Rarest