Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer
  • Member for 12 years, 1 month
  • Last seen this week
Stats
26,765
reputation
370k
reached
246
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
73
silver badges
124
bronze badges
679
Score
83
Posts
33
Posts %
637
Score
56
Posts
22
Posts %
566
Score
44
Posts
18
Posts %
457
Score
42
Posts
17
Posts %
408
Score
44
Posts
18
Posts %
245
Score
16
Posts
6
Posts %
Top posts
View all questions and answers