Andrej Bauer
  • Member for 9 years, 9 months
  • Last seen this week
Stats
27,681
reputation
537k
reached
384
answers
1
question
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
563
Score
82
Posts
21
Posts %
504
Score
87
Posts
23
Posts %
407
Score
63
Posts
16
Posts %
354
Score
61
Posts
16
Posts %
313
Score
59
Posts
15
Posts %
260
Score
39
Posts
10
Posts %
Top posts
View all questions and answers