32,272
reputation
3
98
152

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

396
answers
1
question
~392k
people reached
  • Prague
  • Member for 9 years, 2 months
  • 11,522 profile views
  • Last seen 1 hour ago

Top tags (168)

Score 1,364
Posts 175
Posts % 44
Score 558
Posts 60
Score 348
Posts 55
Score 325
Posts 52
Score 314
Posts 39
Score 242
Posts 29

Top posts (397)

View all questions and answers

Badges (253)

Gold

3

Rarest

Silver

98

Rarest

Bronze

152

Rarest