user avatar
user avatar
user avatar
Andrej Bauer
  • Member for 10 years
  • Last seen this week
Stats
28,040
reputation
556k
reached
390
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
66
silver badges
108
bronze badges
578
Score
83
Posts
21
Posts %
506
Score
87
Posts
22
Posts %
408
Score
64
Posts
16
Posts %
360
Score
63
Posts
16
Posts %
316
Score
60
Posts
15
Posts %
260
Score
39
Posts
10
Posts %
Top posts
View all questions and answers