12,945
reputation
3
49
73

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

144
answers
1
question
~86k
people reached
  • Prague
  • Member for 9 years, 6 months
  • 2,557 profile views
  • Last seen 17 mins ago

Top tags (122)

Score 533
Posts 70
Posts % 48
Score 194
Posts 17
Score 114
Posts 12
Score 94
Posts 21
Score 84
Posts 8
Score 79
Posts 9

Top posts (145)

View all questions and answers

Badges (125)

Gold

3

Rarest

Silver

49

Rarest

Bronze

73

Rarest