Kalendář akcí

19.01.2021

Plenární zasedání Učené společnosti

2. část: zajišťuje I. sekce věd matematicko-fyzikálních Přednáška: J. Zahradník: Seismologie – fyzikální bádání, společenský přínos a očekávání

16.02.2021

Plenární zasedání Učené společnosti

2. část: zajišťuje II. sekce věd chemických Přednáška: P. Jelínek: Exkurze do světa molekul pomocí rastrovací mikroskopie

16.03.2021

Plenární zasedání Učené společnosti

2. část: zajišťuje III. sekce věd biologicko-medicínských O. Prášil: Pěstování a využití řas a sinic

Krajíček Jan

Prof., RNDr., DrSc.
Born June 18, 1960 in Prague

  • Member of Learned Society since 2004

Educational and professional preparation

  • 1985, RNDr., Charles University;
  • 1990, CSc., Czechoslovak Academy of Sciences;
  • 1993, DrSc., AS CR;
  • 2002, Associate Professor, CU;
  • 2004, Professor of Mathematical Logic, CU;

Employment and academic positions

  • 1985-present, Academy of Sciences;
  • 2000-present, Charles University;
  • 1988-89, 1990-91, visiting professor, University of Illinois (Urbana-Champaign);
  • 1993, visiting professor (six months), University of Toronto;
  • 1997-99, visiting scholar, Oxford University;
  • 2004 (Spring term), member, Institute for Advanced Study, Princeton.
  • 2006 and 2012 (Spring terms), senior visiting fellow, Isaac Newton Institute, Cambridge.

Membership and positions in international organizations and societies

  • Association for Symbolic Logic Concilium (1999-2001 Council, 2002-2005 Committee on Logic in Europe, 2006-present Committe on Prizes and Awards)
  • Member, American Mathematical Society
  • 2009-present, Panel Member for the ERC Advanced Grant evaluation
  • Member, editorial boards, Annals of Pure and Applied Logic, Notre Dame Journal of Formal Logic, Archive for Mathematical Logic, and Mathematical Methods in Computer Science
  • over the years, member of program/organization committees of over 30 international conferences

Notable awards

  • 1994, Award, young scientific workers, AS CR
  • 1998, Award, Minister of Education, Youth and Sports (for Science)
  • 2010, Award of the Academy of Sciences of the Czech Republic

Selected publications

  • J. Krajíček: On the Number of Steps in Proofs. Annals of Pure and Applied Logic 41(2), 153-178, (1989)
  • J. Krajíček, P. Pudlák and G. Takeuti: Bounded Arithmetic and the Polyno-mial Hierarchy, Annals of Pure and Applied Logic 52, 143-153, (1991).
  • J. Krajíček: Fragments of Bounded Arithmetic and Bounded Query Classes, Transactions of the AMS 338(2), 587-598, (1993).
  • J. Krajíček: Lower Bounds to the Size of Constant-Depth Propositional Proofs. J. of Symbolic Logic 59(1), 73-86, (1994).
  • J. Krajíček, P. Pudlák and A. Woods: An Exponential Lower Bound to the Size of Bounded Depth Frege Proofs of the Pigeonhole principle. Random Structures and Algorithms 7(1), 15-39,(1995).
  • P. Beame, R. Impagliazzo, J. Krajíček, T. Pitassi and P. Pudlák: Lower bounds on Hilbert.s Nullstellensatz and propositional proofs. Proceedings of the London Mathematical Society 73(3), 1-26, (1996).
  • J. Krajíček: Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic. J. of Symbolic Logic, 62(2), 457-486, (1997).
  • J. Krajíček a P. Pudlák: Some consequences of cryptographical conjectures for S12 and EF. Information and Computation 140 (1), 82-94, (1998).
  • J. Krajíček: Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds, J. of Symbolic Logic, 69(1), 265-286, (2004).
  • J. Krajíček: An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams, J. of Symbolic Logic, 73(1), 227-237, (2008).
  • J. Krajíček: Bounded arithmetic, propositional logic, and complexity theory, Cambridge University Press, 1995.
  • J. Krajíček: Forcing with random variables and proof complexity, Cambridge University Press, 2011.

reference to the website »

Zpět na seznam článků

Novinky

13.01.21

Pozvánka na online přednášku prof. RNDr. Jiřího Zahradníka, DrSc.: Seismologie - fyzikální bádání, společenský přínos a očekávání

Učená společnost ČR Vás srdečně zve na přednášku prof. RNDr. Jiřího Zahradníka, DrSc. (Matematicko-fyzikální fakulta Univerzity Karlovy): "Seismologie - fyzikální bádání, společenský přínos a očekávání", která se koná v úterý 19. 1. 2021 v 16:00 hod online na YouTube: http://seismologie.jdem.cz. Studium zemětřesení a struktury Země pomocí seismických vln poskytuje 3D obraz nitra a tektonických procesů, s šancí uplatnit se i při planetárních výzkumech. Hlavními společenskými produkty jsou rychlé odhady účinků zemětřesení v reálném čase, předpověď ohrožení dotřesy, a systémy rychlého varování před ničivými kmity i před tsunami, hodnocení dlouhodobého ohrožení kritických lokalit a vývoj stavebních norem i antiseimických opatření.

Pozvánka (PDF, 325 kB)

11.01.21

Otevřený dopis ministru školství – žádost o zachování finanční podpory „EMBO Installation Grant“

„Vážený pane ministře, dovolujeme si obrátit se na Vás s žádostí o zachování finanční podpory EMBO Installation Grant. Ukončení financování tohoto programu by mělo dalekosáhlý negativní dopad na rozvoj molekulárně-biologického a biomedicínského výzkumu v České republice,“ píše Rada Učené společnosti ČR v otevřeném dopise ministru školství Robertu Plagovi.

08.01.21

Úmrtí člena Učené společnosti prof. Oldřicha Kowalskeho

2. ledna 2021 zemřel ve věku 84 let člen Učené společnsosti prof. RNDr. Oldřich Kowalski, DrSc., jeden z nejvýznamnějších českých geometrů. Působil na Matematicko-fyzikální fakultě Univerzity Karlovy v Praze, kde se stal v roce 1992 profesorem a v poslední době působil jako emeritní profesor. Odborně se profesor Kowalski věnoval moderní diferenciální geometrii, zejména Riemannově geometrii. K rozvoji geometrie přispěl profesor Kowalski kromě pečlivě připravených přednášek pro matematiky i pro fyziky na MFF UK i napsáním dvou skript. Je autorem nebo spoluautorem 170 vědeckých publikací v mezinárodních časopisech a 4 monografií.  Kromě své vědecké a pedagogické práce se profesor Kowalski angažoval i společensky. V letech 1971–2001, tedy celých 30 let, vedl časopis Pokroky matematiky, fyziky a astronomie.