Jan Krajicek - Curriculum Vitae#

Degrees & titles:

RNDr. (1985), CSc.(=PhD.,1990), DrSc. (1993), Doc. (2002), Prof. (2004).


Over 100 invited talks at international conferences and academic institutions including the following:

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.

Selected invited plenary talks:

  1. Annual joint ASL/AMS meeting, San Antonio (1993)
  2. Annual European meeting of the Association of Symbolic Logic, Haifa (1995)
  3. Logic section at the Tenth Int. Congress of Logic, Methodology and Philosophy of Science, Florence (1995)
  4. 22nd International Symposium on Mathematical Foundations of Computer Science, Bratislava (1997)
  5. Mathematical Society of Japan at Tokyo University (1997)
  6. Annual European meeting of the Association of Symbolic Logic, Prague (1998)
  7. Computability in Europe conference, Swansea (2006)
  8. British Logic Colloquium, Oxford (2006)
  9. Logic and Computation section at the Thirteenth International Congress of Logic Methodology and Philosophy of Science, Peking (2007)
  10. Annual European ASL meeting, Paris (2010)
  11. EACSL annual Computer Science Logic meeting, Brno (2010)
  12. the 11th Jarnik lecture at Charles U. (October 2012),
  13. Proof complexity, St.Petersburg State U. (May 2016),
Selected invited lecture:

4th European Congress of Mathematics at Stockholm (2004).

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

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 Quaeterly (2014-), Journal of Symbolic Logic (2014-), and various proceedings.

Various other community services, e.g. ERC Advanced Grants Mathematics panel member (2009-2013).

Six Ph.D. students.
Imprint Privacy policy « This page (revision-11) was last updated on Thursday, 28. June 2018, 09:43 by Krajicek Jan
  • operated by