21,813 reputation
4 53 124

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,142
Posts 107
Posts % 45
Score 484
Posts 69
Score 444
Posts 41
Score 188
Posts 23
Score 161
Posts 19
Score 155
Posts 23

Top Posts (237) All Questions Answers | Votes Newest

View all questions and answers

Badges (181)

Gold 4

Rarest

Silver 53

Rarest

Bronze 124

Rarest