23,003 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 867
Posts 132
Posts % 41
Score 400
Posts 51
Score 237
Posts 39
Score 232
Posts 44
Score 210
Posts 31
Score 162
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