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, 5 months
  • Last seen this week
Stats
17,420
reputation
131k
reached
205
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
599
Score
84
Posts
41
Posts %
221
Score
22
Posts
11
Posts %
155
Score
31
Posts
15
Posts %
151
Score
18
Posts
9
Posts %
122
Score
21
Posts
10
Posts %
110
Score
14
Posts
7
Posts %
Top posts
View all questions and answers