The Stack Overflow podcast is back! Listen to an interview with our new CEO.
834
reputation
6
9

Andrej Bauer

I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, type theory, homotopy type theory, and semantics of programming languages.

4
answers
0
questions
~9k
people reached

Top tags (8)

Score 53
Posts 2
Posts % 50
Score 53
Posts 2
Score 34
Posts 1
Score 30
Posts 2
Score 23
Posts 2
Score 11
Posts 1

Top posts (4) All Questions Answers | Votes Newest

Badges (15)

Gold

Silver

6

Rarest

Bronze

9

Rarest