user avatar
user avatar
user avatar
Andrej Bauer
  • Member for 10 years
  • Last seen more than a week ago
Stats
2,654
reputation
56k
reached
44
answers
0
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.

This user doesn’t have any gold badges yet.
14
silver badges
22
bronze badges
82
Score
8
Posts
18
Posts %
78
Score
13
Posts
30
Posts %
66
Score
5
Posts
11
Posts %
64
Score
6
Posts
14
Posts %
26
Score
2
Posts
5
Posts %
13
Score
3
Posts
7
Posts %
Top posts
View all questions and answers