Emil Jeřábek
  • Member for 10 years, 10 months
  • Last seen this week
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
118
silver badges
177
bronze badges
1,700
Score
202
Posts
46
Posts %
659
Score
68
Posts
15
Posts %
478
Score
66
Posts
15
Posts %
355
Score
42
Posts
10
Posts %
344
Score
54
Posts
12
Posts %
288
Score
35
Posts
8
Posts %