Stack Exchange Network

Stack Exchange network consists of 174 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
29,407
reputation
4
77
161

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.

257
answers
14
questions
~733k
people reached

Top Tags (132)

Score 1,512
Posts 125
Posts % 46
Score 608
Posts 76
Score 574
Posts 47
Score 284
Posts 26
Score 212
Posts 25
Score 207
Posts 23

Top Posts (271) All Questions Answers | Votes Newest

View all questions and answers

Badges (242)

Gold

4

Rarest

Silver

77

Rarest

Bronze

161