Emil Jeřábek's user avatar
Emil Jeřábek's user avatar
Emil Jeřábek's user avatar
Emil Jeřábek
  • Member for 12 years, 6 months
  • Last seen this week
Stats
17,448
reputation
132k
reached
206
answers
2
questions
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
61
silver badges
90
bronze badges
600
Score
84
Posts
40
Posts %
221
Score
22
Posts
11
Posts %
155
Score
31
Posts
15
Posts %
151
Score
18
Posts
9
Posts %
123
Score
21
Posts
10
Posts %
110
Score
14
Posts
7
Posts %
Top posts
View all questions and answers