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
32,336
reputation
4
81
174

Andrej Bauer
top 0.54% this year

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.

272
answers
15
questions
~810k
people reached

Top tags (136)

Score 1,678
Posts 137
Posts % 48
Score 647
Posts 80
Score 626
Posts 49
Score 288
Posts 26
Score 229
Posts 27
Score 211
Posts 20

Top posts (287) All Questions Answers | Votes Newest

View all questions and answers

Badges (259)

Gold

4

Rarest

Silver

81

Rarest

Bronze

174