23,236 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 879
Posts 133
Posts % 41
Score 403
Posts 51
Score 238
Posts 45
Score 238
Posts 39
Score 214
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