Theoretical Computer Science
Profile Activity
Main user
Network profile
12,935
reputation
9
6

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

0
answers
1
question
~63
people reached
  • Prague
  • math.cas.cz/~jerabek
  • Member for 9 years, 5 months
  • 15 profile views
  • Last seen Mar 11 at 11:53

Communities (69)

Top network posts

Top tags (2)

Score 0
Posts 1
Score 0
Posts 1

Top posts (1)

All Questions Answers
Votes Newest
9 Broken button design Aug 29 '18

Badges (15)

Gold

—

Silver

9

Rarest

Bronze

6

Rarest

View all badges →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.