## Jan Krajíček - a brief professional cv

## Research interests:

Mathematical logic, and proof complexity in particular.## Degrees and titles:

Prof. RNDr. J.K., DrSc., MAE

(professor of mathematical logic)## Long-term positions:

Mathematical Institute of the Academy of Sciences in Prague (1985 - 2012),

University of Illinois in Champaign-Urbana (two years: 1988/89 and 90/91),

University of Toronto (1993, 6 months),

University of Oxford (two years: 1997/98 and 1998/99),

Institute for Advanced Study at Princeton (member, Spring term 2004),

Faculty of Mathematics and Physics, Charles University in Prague (Fall 2005 - present),

Isaac Newton Institute in Cambridge (January - July 2006 and March - June 2012).## Awards, honors:

Award of the Academy of Sciences of the Czech Republic for Young Researchers, 1994.

Prize of the Education Ministry of the Czech Republic for Research, 1998.

Elected fellow of the Learned Society of the Czech Republic, 2004.

Award of the Academy of Sciences of the Czech Republic, 2010.

Commemorative medal of the Mathematics & Physics Faculty (Charles U.), 2012.

Elected member of the Academia Europaea, 2012.

Prize of the Charles U. for the 2011 monograph, 2013.## Invited lectures:

Over 100 invited talks and (series of) tutorials at international conferences including:

an ASL Invited Plenary Address at an annual joint ASL/AMS meeting at San Antonio (1993),

a plenary lecture at the annual European meeting of the Association of Symbolic Logic at Haifa (LC'1995),

a plenary lecture in the Logic section at the Tenth International Congress of Logic, Methodology and Philosophy of Science at Florence (1995),

a plenary lecture at the 22nd International Symposium on Mathematical Foundations of Computer Science at Bratislava (1997),

a plenary lecture at the Fall 1997 meeting of the Mathematical Society of Japan at Tokyo University (1997),

a plenary tutorial at the annual European meeting of the Association of Symbolic Logic at Prague (1998),

an invited lecture at the 4th European Congress of Mathematics at Stockholm (2004),

a plenary lecture at the Computability in Europe conference in Swansea (2006),

an invited lecture at the British Logic Colloquium in Oxford (September'06),

an invited lecture in the Logic and Computation section at the Thirteenth International Congress of Logic, Methodology and Philosophy of Science in Peking (August 2007),

a plenary lecture at the Annual European ASL meeting, Paris (July 2010),

a plenary lecture at the EACSL annual Computer Sciences Logic meeting, Brno (August 2010),

the 11th Jarnik lecture at Charles U. (October 2012),

keynote speaker, Proof complexity, St.Petersburg State U. (May 2016),

and at academic institutions including:

London University, Manchester University, Oxford University, Humboldt University (Berlin), University of Colorado at Boulder, University of California at San Diego, University of California at Berkeley, Penn State University at University park, Carnegie-Mellon University at Pittsburgh, Smith College at Northampton, Baruch College at New York, University of Illinois at Chicago, Mathematical Sciences Research Institute at Berkeley, University of Technology at Vienna, University of Toronto, Utrecht University, C.N.R.S. and Universite Paris VII, Mathematical Institute of the Polish Academy of Sciences at Warsaw, Mathematisches Forschungsinstitut Oberwolfach, Cornell University at Ithaca, University of Crete at Iraklion Massachusetts Institute of Technology at Boston, University of Illinois at Urbana-Champaign, Indiana University at Indianapolis, DIMACS Center of the Rutgers University at New Brunswick, University of Michigan at Ann Arbor, Universidade de Lisboa, Ludwig-Maxmillians Universitat at Munchen, University of Birmingham, Tokyo University, Tohoku University at Sendai (Japan), Leeds University, CWI and Dutch Graduate School in Logic (Amsterdam), Czech Technical University at Prague, University of East Anglia at Norwich, IUT Departement Informatique at Universite d'Avergne at Clermont-Ferrand, Institute for Advanced Study at Princeton, International centre for Mathematical Sciences at Edinburgh, University of Athens, Rutgers University, University of Pennsylvania, Graduate Center of the City University of New York, Logic Workshop at the CUNY, Wesleyan University, Isaac Newton Institute in Cambridge, University of Warwick, University of Wales at Swansea, University of Durham, University of Sevilla, Universite Claude Bernard Lyon, Princeton University, La Sapienza U. in Rome, St.Petersburg State University.## Bibliography:

Around 80 papers, two books, and an editor of three refereed volumes.

Citations and impact.## Academic:

- Program and organizing committee service: around 30 conferences including program chair of Logic Colloquium in Vienna'01 and Int.Congress of Logic, Methodology and Philosophy of Science (Math.Logic section)'03.

- Editorial work: Annals of Pure and Applied Logic (1994--2013), Notre Dame Journal of Formal Logic (2003--2011), Logical Methods in Computer Science (2004--2017), Archive for Mathematical Logic (2006--), Mathematical Logic Quarterly (2014--), the Journal of Symbolic Logic (2014--) and various proceedings.

- Other community service: various Association for Symbolic Logic committees (C. on Translations, C. on Logic in Europe, C. on Prizes and Awards 2007--11), ERC Advanced Grants Mathematics panel member (2009--13), co-organizer of a PhD student oriented Marie Curie ITN MALOA (2009-2013), Kurt Godel Research Prize juror (2014).

- Teaching: Logic seminar (an archive page), Student logic seminar, past and current students, courses, Fall schools, special semester in Logic &Complexity 2011.