Emil Jeřábek's user avatar
Emil Jeřábek's user avatar
Emil Jeřábek's user avatar
Emil Jeřábek
  • Member for 11 years, 5 months
  • Last seen this week
Stats
15,401
reputation
110k
reached
175
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
56
silver badges
85
bronze badges
574
Score
79
Posts
45
Posts %
213
Score
20
Posts
11
Posts %
150
Score
18
Posts
10
Posts %
126
Score
25
Posts
14
Posts %
90
Score
15
Posts
8
Posts %
89
Score
10
Posts
6
Posts %
Top posts
View all questions and answers