16,008 reputation
40 85

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

Score 484
Posts 45
Posts % 30
Score 371
Posts 29
Score 301
Posts 33
Score 287
Posts 30
Score 265
Posts 24
Score 167
Posts 14

Top Posts (149) All Questions Answers | Votes Newest

View all questions and answers

Badges (125)

Gold
Silver 40

Rarest

Bronze 85

Rarest