19,170 reputation
25384
bio website math.cas.cz/~jerabek
location Prague
age 37
visits member for 3 years, 10 months
seen 4 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).


19,170 Reputation

55 Dec 18
10 Dec 16
40 Dec 15
95 Dec 14
20 Dec 13
10 Dec 12
85 Dec 11
25 Dec 10
60 Dec 9
105 Dec 6
10 Dec 5
20 Dec 3
20 Dec 2
20 Dec 1
60 Nov 30
10 Nov 29
80 Nov 28
115 Nov 27
10 Nov 17
30 Nov 16
40 Nov 11
10 Nov 10
15 Nov 9
10 Nov 8
40 Nov 7
65 Nov 3
20 Nov 2
10 Nov 1
10 Oct 31
15 Oct 30