16,188 reputation
40 86

Andrej Bauer top 0.95% overall

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

Score 486
Posts 45
Posts % 30
Score 373
Posts 29
Score 309
Posts 34
Score 289
Posts 30
Score 275
Posts 25
Score 177
Posts 15

Top Posts (150) All Questions Answers | Votes Newest

View all questions and answers

Badges (126)

Gold
Silver 40

Rarest

Bronze 86

Rarest