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,687
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.

194
answers
2
questions
~256k
people reached

Top Tags (122)

Score 576
Posts 52
Posts % 27
Score 489
Posts 37
Score 478
Posts 52
Score 411
Posts 38
Score 363
Posts 39
Score 235
Posts 17

Top Posts (196) All Questions Answers | Votes Newest

View all questions and answers

Badges (152)

Gold

Silver

51

Rarest

Bronze

101

Rarest