Andrej Bauer
Stats
25,632
reputation
344k
reached
233
answers
3
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
68
silver badges
116
bronze badges

Top tags (133)

Score 644
Posts 77
Posts % 33
Score 623
Posts 56
Score 540
Posts 42
Score 449
Posts 41
Score 401
Posts 43
Score 257
Posts 17

Top posts (236)

View all questions and answers