Andrej Bauer
Stats
41,927
reputation
1.0m
reached
313
answers
16
questions
Loading…
About

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.

9
gold badges
105
silver badges
203
bronze badges

Top tags (158)

Score 2,010
Posts 157
Posts % 48
Score 950
Posts 55
Score 839
Posts 95
Score 469
Posts 27
Score 332
Posts 35
Score 294
Posts 31

Top posts (329)

View all questions and answers