23,188 reputation
2 62 105

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 (152)

Score 876
Posts 133
Posts % 41
Score 402
Posts 51
Score 238
Posts 39
Score 237
Posts 45
Score 212
Posts 31
Score 162
Posts 22

Top Posts (324) All Questions Answers | Votes Newest

View all questions and answers

Badges (169)

Gold 2

Rarest

Silver 62

Rarest

Bronze 105

Rarest