user avatar
user avatar
user avatar
Emil Jeřábek
  • Member for 10 years, 8 months
  • Last seen this week
Stats
14,775
reputation
101k
reached
166
answers
1
question
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
55
silver badges
80
bronze badges
568
Score
76
Posts
46
Posts %
208
Score
19
Posts
11
Posts %
136
Score
15
Posts
9
Posts %
117
Score
24
Posts
14
Posts %
89
Score
14
Posts
8
Posts %
89
Score
10
Posts
6
Posts %
Top posts
View all questions and answers