21,288 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 (126)

Score 1,111
Posts 105
Posts % 45
Score 473
Posts 67
Score 438
Posts 41
Score 188
Posts 23
Score 153
Posts 18
Score 152
Posts 22

Top Posts (232) All Questions Answers | Votes Newest

View all questions and answers

Badges (177)

Gold 4

Rarest

Silver 52

Rarest

Bronze 121

Rarest