Andrej Bauer
Stats
27,038
reputation
514k
reached
372
answers
1
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.

1
gold badge
63
silver badges
105
bronze badges

Top tags (175)

Score 558
Posts 82
Posts % 22
Score 483
Posts 83
Score 387
Posts 58
Score 344
Posts 58
Score 309
Posts 59
Score 259
Posts 38

Top posts (373)

View all questions and answers