Jan Krajicek#
| Membership Number: | 3151 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2012 |
| Main Country of Residence: | CZECH REPUBLIC |
| Homepage(s): | http://www.karlin.mff.cuni.cz/~krajicek |
| ORCID: | 0000-0003-0670-3957 |
Present and Previous Long-Term Positions
- 2006 and 2012, 6 months and 3 months resp., visiting fellow, Isaac Newton Institute in Cambridge
- 2005 - present, Professor of Mathematical Logic, Faculty of Mathematics and Physics, Charles University in Prague
- 2004, Spring term, member, Institute for Advanced Study, Princeton
- 1997 - 1999, 2 years, visiting scholar, University of Oxford (Mathematical Institute and Wolfson College)
- 1993, 6 months, visiting professor, University of Toronto
- 1988/89 and 1990/91, 2 years, visiting professor, University of Illinois in Champaign-Urbana
- 1985 - 2012, researcher, Mathematical Institute of the Academy of Sciences in Prague
Fields of Scholarship
- Proof and computational complexity theory
- Mathematical logic
Selected Honours
- 2012 Elected member of Academia Europea
- 2004 Elected fellow of the Learned Society of Czech Republic
Selected Invited and Plenary Lectures
- 5-times plenary speaker at annual meetings of the Association of Symbolic Logic (San Antonio 1993, Haifa 1995, Prague 1998 - tutorial, Paris 2010, Prague 2019),
- 3-times invited speaker at quadrennial world International Congresses of Logic, Methodology and Philosophy of Science (10th at Florence 1995, 13th at Peking 2007 and 16th at Prague 2019),
- 4th European Congress of Mathematics at Stockholm (2004).
