The Stack Overflow podcast is back! Listen to an interview with our new CEO.
22,401
reputation
1
51
91

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.

306
answers
1
question
~373k
people reached

Top tags (161)

Score 446
Posts 64
Posts % 21
Score 403
Posts 71
Score 320
Posts 46
Score 306
Posts 52
Score 255
Posts 46
Score 252
Posts 36

Top posts (307) All Questions Answers | Votes Newest

View all questions and answers

Badges (143)

Gold

1

Rarest

Silver

51

Rarest

Bronze

91

Rarest