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
21,379
reputation
51
101

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.

190
answers
2
questions
~251k
people reached

Top Tags (122)

Score 570
Posts 51
Posts % 27
Score 487
Posts 37
Score 456
Posts 48
Score 408
Posts 37
Score 362
Posts 39
Score 225
Posts 15

Top Posts (192) All Questions Answers | Votes Newest

View all questions and answers

Badges (152)

Gold

Silver

51

Rarest

Bronze

101

Rarest