22,360 reputation
2 61 98

Emil Jeřábek top 2% overall

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

Score 847
Posts 131
Posts % 41
Score 387
Posts 50
Score 229
Posts 44
Score 228
Posts 38
Score 199
Posts 30
Score 153
Posts 22

Top Posts (318) All Questions Answers | Votes Newest

View all questions and answers

Badges (161)

Gold 2

Rarest

Silver 61

Rarest

Bronze 98

Rarest