22,963 reputation
2 61 103

Emil Jeřábek

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).

Top Tags (151)

Score 866
Posts 132
Posts % 41
Score 400
Posts 51
Score 237
Posts 39
Score 231
Posts 44
Score 209
Posts 31
Score 161
Posts 22

Top Posts (322) All Questions Answers | Votes Newest

View all questions and answers

Badges (166)

Gold 2

Rarest

Silver 61

Rarest

Bronze 103

Rarest