Emil Jeřábek
Stats
13,518
reputation
91k
reached
150
answers
1
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
51
silver badges
76
bronze badges

Top tags (126)

Score 536
Posts 71
Posts % 47
Score 194
Posts 17
Score 114
Posts 12
Score 95
Posts 22
Score 84
Posts 8
Score 80
Posts 13

Top posts (151)

View all questions and answers