Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
22,403
reputation
1
59
107

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.

200
answers
2
questions
~269k
people reached

Top tags (123)

Score 577
Posts 53
Posts % 26
Score 533
Posts 56
Score 489
Posts 37
Score 408
Posts 38
Score 376
Posts 41
Score 236
Posts 17

Top posts (202) All Questions Answers | Votes Newest

View all questions and answers

Badges (167)

Gold

1

Rarest

Silver

59

Rarest

Bronze

107

Rarest