22,883 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 864
Posts 132
Posts % 41
Score 397
Posts 51
Score 236
Posts 39
Score 230
Posts 44
Score 207
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