People who code: we want your input. Take the Survey
13,225
reputation
3
51
75

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).

148
answers
1
question
~88k
people reached

Top tags (125)

Score 535
Posts 71
Posts % 48
Score 194
Posts 17
Score 114
Posts 12
Score 95
Posts 22
Score 84
Posts 8
Score 80
Posts 9

Top posts (149)

View all questions and answers

Badges (129)

Gold

3

Rarest

Silver

51

Rarest

Bronze

75

Rarest