20,918 reputation
4 52 121

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 (125)

Score 1,099
Posts 105
Posts % 46
Score 458
Posts 66
Score 435
Posts 41
Score 188
Posts 23
Score 151
Posts 22
Score 149
Posts 18

Top Posts (230) All Questions Answers | Votes Newest

View all questions and answers

Badges (177)

Gold 4

Rarest

Silver 52

Rarest

Bronze 121

Rarest