15,728 reputation
39 83

Andrej Bauer

I am a professional mathematician and theoretical computer scientist (what is the difference?) . My area of work is a mix of logic, semantics, programming languages, category theory, constructive mathematics and computability.

Top Tags (111)

Score 472
Posts 44
Posts % 30
Score 369
Posts 29
Score 299
Posts 33
Score 287
Posts 30
Score 260
Posts 23
Score 164
Posts 14

Top Posts (147) All Questions Answers | Votes Newest

View all questions and answers

Badges (122)

Gold
Silver 39

Rarest

Bronze 83

Rarest