21,513 reputation
4 52 122

Andrej Bauer

I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, and semantics of programming languages.

Top Tags (126)

Score 1,119
Posts 106
Posts % 45
Score 479
Posts 68
Score 441
Posts 41
Score 188
Posts 23
Score 159
Posts 19
Score 154
Posts 23

Top Posts (235) All Questions Answers | Votes Newest

View all questions and answers

Badges (178)

Gold 4

Rarest

Silver 52

Rarest

Bronze 122

Rarest