31,343
reputation
3
91
146

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

390
answers
1
question
~372k
people reached
  • Prague
  • Member for 8 years, 6 months
  • 10,640 profile views
  • Last seen 8 hours ago

Top tags (165)

Score 1,328
Posts 173
Posts % 44
Score 533
Posts 59
Score 324
Posts 53
Score 321
Posts 52
Score 311
Posts 39
Score 237
Posts 28

Top posts (391) All Questions Answers | Votes Newest

View all questions and answers

Badges (240)

Gold

3

Rarest

Silver

91

Rarest

Bronze

146

Rarest