Emil Jeřábek's user avatar
Emil Jeřábek's user avatar
Emil Jeřábek's user avatar
Emil Jeřábek
  • Member for 12 years, 1 month
  • Last seen this week
Stats
16,877
reputation
121k
reached
197
answers
2
questions
Loading…
About

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

3
gold badges
60
silver badges
89
bronze badges
596
Score
84
Posts
42
Posts %
220
Score
22
Posts
11
Posts %
154
Score
31
Posts
16
Posts %
151
Score
18
Posts
9
Posts %
110
Score
19
Posts
10
Posts %
103
Score
12
Posts
6
Posts %
Top posts
View all questions and answers