Stats
14,698
reputation
122
reached
2
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).
Badges
View all badges
This user doesn’t have any gold badges yet.
10
silver badges
-
Yearling
× 10Oct 21
8
bronze badges
-
CommentatorMay 26, 2021
-
Nice QuestionJan 21, 2021
-
EditorAug 29, 2018
Top tags
3
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top network posts
View all network posts