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, 1 month
  • Last seen this week
Stats
14,932
reputation
105k
reached
169
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
56
silver badges
83
bronze badges
571
Score
77
Posts
45
Posts %
212
Score
20
Posts
12
Posts %
137
Score
15
Posts
9
Posts %
119
Score
24
Posts
14
Posts %
90
Score
14
Posts
8
Posts %
89
Score
10
Posts
6
Posts %
Top posts
View all questions and answers