18,000 reputation
24979
bio website math.cas.cz/~jerabek
location Prague
age 37
visits member for 3 years, 8 months
seen 48 mins ago

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


18,000 Reputation

15 today
10 Oct 14
10 Oct 13
+10 20:22 upvote
40 Oct 9
70 Oct 7
10 Oct 4
10 Oct 3
90 Oct 2
85 Sep 30
90 Sep 29
20 Sep 28
50 Sep 27
25 Sep 26
10 Sep 25
75 Sep 23
10 Sep 21
-10 Sep 20
15 Sep 19
-15 Sep 17
10 Sep 15
8 Sep 14
35 Sep 11
20 Sep 10
20 Sep 8
65 Sep 7
10 Sep 3
65 Sep 1
10 Aug 31
20 Aug 28
80 Aug 27