bio | website | math.cas.cz/~jerabek |
---|---|---|

location | Prague | |

age | 37 | |

visits | member for | 3 years, 8 months |

seen | 14 mins ago | |

stats | profile views | 6,079 |

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

296

votes

2

answers

23k

views

193

votes

7

answers

12k

views

85

votes

8

answers

9k

views

50

votes

4

answers

2k

views

38

votes

2

answers

5k

views

25

votes

0

answers

1k

views

17

votes

3

answers

1k

views

12

votes

2

answers

1k

views

11

votes

1

answer

428

views

9

votes

2

answers

318

views

4

votes

0

answers

346

views