Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
21,049
reputation
50
101

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.

188
answers
2
questions
~244k
people reached

Top Tags (121)

Score 564
Posts 51
Posts % 27
Score 480
Posts 37
Score 445
Posts 47
Score 386
Posts 35
Score 354
Posts 38
Score 223
Posts 15

Top Posts (190) All Questions Answers | Votes Newest

View all questions and answers

Badges (151)

Gold

Silver

50

Rarest

Bronze

101

Rarest