!!Jan Krajicek - Curriculum Vitae
----

\\
__Degrees and titles__
\\

RNDr. 1985 (Charles U.), CSc. 1990, DrSc. 1993, doc. 2002, prof. 2004, MAE 2012
\\

\\
__Longer visits of academic institutions__
\\

* University of California at San Diego (1990)\\
* DIMACS Center at the Rutgers University (1996)\\
* University of Oxford (March'00, June'00, November'00, June'01, November'01,November'02,\\
 February'03, June'03, December'03, May'04, November'04, September'05, November'05, September'06, April'07)\\
* Institute for Advanced Study at Princeton (October'00, February'01, October'02, February'05)\\

\\
__Awards and honours__
\\

* 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 University), 2012.\\
* Elected member of the Academia Europaea, 2012.\\
* Prize of the Charles University for the 2011 monograph, 2013.\\
* Medal of the Learned Society of the Czech Republic, 2020. \\
* Commemorative medal of the Charles University, 2020. \\

\\
__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),\\
* an invited lecture 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 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</a> at Charles U. (October 2012),\\
* a keynote address, Proof Complexity, St.Petersburg State U. (May 2016),\\
* an invited lecture, Complexity theory, Clay Mathematics Institute, Oxford (July 2018),\\
* an invited lecture, Fifty Years of Complexity Theory, Toronto (May 2019),\\
* an invited lecture at the Sixteenth International Congress of Logic, Methodology and Philosophy of Science and Technology, Prague (August 2019),\\
* a plenary lecture at the annual European meeting of the Association of Symbolic Logic (LC'2019), Prague (August 2019),\\ 
* the LMS sponsored keynote lecturer, the 37th British Colloquium for Theoretical Computer Science (BCTCS), Liverpool (March 2021),\\

\\
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,
Clay Mathematics Institute in Oxford,
Fields Institute in Toronto,
Simons Institute in Berkeley, 
University of Liverpool. 

\\
__Academic service - selected__
\\

* 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.\\

* Journal 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--2018), Mathematical Logic Quarterly (2014--2022), Journal of Symbolic Logic (2014--2019), Springer Nature Computer Science (2019 -- 1/2023).\\

* 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), University Center of Excellence (Methods of Algebra and Logic, 2018-2023) supporting young researchers and PhD students.\\


* Thesis completed under my supervision: 7 PhD and 19 MSc (and a number of Bc).\\

* Organizer of a dozen Fall schools of "Logic and Complexity" between 1999 and 2011, and of a special semester in Logic &Complexity 2011.\\