15,403 reputation
38 81

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 466
Posts 44
Posts % 30
Score 366
Posts 29
Score 285
Posts 32
Score 278
Posts 29
Score 248
Posts 22
Score 161
Posts 14

Top Posts (145) All Questions Answers | Votes Newest

View all questions and answers

Badges (119)

Gold
Silver 38

Rarest

Bronze 81

Rarest