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
21,995
reputation
54
105

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.

198
answers
2
questions
~262k
people reached

Top Tags (122)

Score 580
Posts 53
Posts % 26
Score 490
Posts 54
Score 489
Posts 37
Score 413
Posts 38
Score 372
Posts 40
Score 237
Posts 17

Top Posts (200) All Questions Answers | Votes Newest

View all questions and answers

Badges (159)

Gold

Silver

54

Rarest

Bronze

105

Rarest