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
30,119
reputation
4
77
165

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.

263
answers
14
questions
~766k
people reached

Top Tags (134)

Score 1,547
Posts 128
Posts % 46
Score 632
Posts 78
Score 583
Posts 47
Score 286
Posts 26
Score 212
Posts 25
Score 207
Posts 23

Top Posts (277) All Questions Answers | Votes Newest

View all questions and answers

Badges (246)

Gold

4

Rarest

Silver

77

Rarest

Bronze

165