Emil Jeřábek
  • Member for 10 years, 3 months
  • Last seen this week
Stats
14,069
reputation
95k
reached
156
answers
1
question
Loading…
About

I am a researcher at the Institute of Mathematics of the Czech Academy of Sciences. I work in the field of mathematical logic, specifically proof complexity (mainly subsystems of bounded arithmetic, but also propositional proof complexity) and nonclassical logics (admissible rules of modal, superintuitionistic, and other propositional logics).

3
gold badges
54
silver badges
78
bronze badges
547
Score
72
Posts
46
Posts %
202
Score
18
Posts
11
Posts %
123
Score
13
Posts
8
Posts %
114
Score
24
Posts
15
Posts %
89
Score
14
Posts
9
Posts %
81
Score
9
Posts
6
Posts %
Top posts
View all questions and answers