15,948 reputation
40 84

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

Score 484
Posts 45
Posts % 30
Score 371
Posts 29
Score 300
Posts 33
Score 287
Posts 30
Score 264
Posts 24
Score 165
Posts 14

Top Posts (149) All Questions Answers | Votes Newest

View all questions and answers

Badges (124)

Gold
Silver 40

Rarest

Bronze 84

Rarest