Curriculum Vitae
| Name | Emil Jeřábek |
|---|
| Date of birth | June 27, 1977 |
|---|
| Place of birth | Prague, Czechoslovakia |
|---|
| Gender | male |
|---|
|
|---|
| Address | Institute of Mathematics, AS CR
Žitná 25
115 67 Praha 1
Czech Republic
+420 222 090 772
jerabek@math.cas.-skip-this-part-.cz
http://math.cas.cz/~jerabek |
|---|
Education
| 1995–2001 | undergraduate studies of Mathematics at the
Faculty of Mathematics and Physics of the Charles University, Prague
Master degree (Mgr) obtained May 2001 |
|---|
| 1995–2002 | undergraduate studies of Logic and
Linguistics at the Faculty of Philosophy and Arts of the Charles
University, Prague
Master degree (Mgr) obtained February 2002 |
|---|
| 2001–2005 | postgraduate studies at the Faculty of
Mathematics and Physics of the Charles University, Prague
Supervisor: Jan Krajíček, Mathematical Institute of the Academy of
Sciences of the Czech Republic, Prague
Ph.D. degree obtained June 2005 |
|---|
Employment
| since 1999 | part-time position at the Faculty of Mathematics
and Physics of the Charles University |
|---|
| 2003–2005 | part-time graduate student position at the Mathematical
Institute of the Academy of Sciences of the Czech Republic |
|---|
| Mar–Aug 2005 | postdoc position at the Department of
Philosophy of the University of Utrecht |
|---|
| Oct 2005–Oct 2006 | postdoc position at the
Department of Computer Science of the University of Toronto |
|---|
| since Oct 2006 | full-time position at the Mathematical Institute
of AS CR |
|---|
Publications
- Reflexe v neregulárních univerzech
(Elementary embeddings in non-wellfounded set theory), Master’s
thesis, Faculty of Mathematics and Physics, Charles University,
Prague, 2001, 41 pp., in Czech.
- Provability logic of the Alternative
Set Theory, Master’s thesis, Faculty of Philosophy and Arts,
Charles University, Prague, 2001, 44 pp.
- A note on Grzegorczyk’s logic, Mathematical
Logic Quarterly 50 (2004), no. 3, pp. 295–296.
- Dual weak pigeonhole principle, Boolean
complexity, and derandomization, Annals of Pure and Applied
Logic 129 (2004), pp. 1–37.
- Weak pigeonhole principle, and randomized
computation, Ph.D. thesis, Faculty of Mathematics and Physics,
Charles University, Prague, 2005, 116 pp.
- Admissible rules of modal logics, Journal of
Logic and Computation 15 (2005), no. 4, pp. 411–431.
- with Tomáš Kepka and David Stanovský:
Subdirectly irreducible non-idempotent left symmetric left
distributive groupoids,
Discussiones Mathematicae – General Algebra and
Applications 25 (2005), no. 2, pp. 235–257.
- Frege systems for extensible modal logics,
Annals of Pure and Applied Logic 142 (2006), pp. 366–379.
- The strength of sharply bounded induction,
Mathematical Logic Quarterly 52 (2006), no. 6,
pp. 613–624.
- Complexity of admissible rules, Archive for
Mathematical Logic 46 (2007), no. 2, pp. 73–92.
- On independence of variants of the weak pigeonhole
principle, Journal of Logic and Computation 17 (2007),
no. 3, pp. 587–604.
- with Michal Rössler:
Fragment of nonstandard analysis with a
finitary consistency proof, Bulletin of Symbolic Logic
13 (2007), no. 1, pp. 54–70.
- Approximate counting in bounded arithmetic,
Journal of Symbolic Logic 72 (2007), no. 3, pp. 959–993.
- Independent bases of admissible rules, Logic
Journal of the IGPL 16 (2008), no. 3, pp. 249–267.
Conference talks
- A note on Grzegorczyk's logic, Logic
Colloquium (LC2003), Helsinki, August 2003.
- Bounded arithmetic in 3-valued logic, Logic
Colloquium (LC2004), Torino, July 2004.
- Hardness amplification in bounded arithmetic,
24èmes Journées d'Arithmétique Faible (JAF24), Fontainebleau, May 2005.
- Approximate counting in bounded arithmetic,
New Directions in Proof Complexity (Isaac Newton Institute Workshop
LAAW04), Cambridge, April 2006.
- Canonical rules, Derivation Rules and
Unification (International Workshop on Modal Logic IWML06),
İstanbul Kültür Üniversitesi, June 2006.
- Proof systems for modal logics, Logic
Colloquium (LC2007), Wrocław, July 2007.
Other activities
I am a reviewer for the Zentralblatt MATH Database.
