•  
    • Pavel Pudlák

    • Principal investigator
    • Institute of Mathematics of the Academy of Sciences of the Czech Republic
      Email: pudlak@math.cas.cz
      Research fields: Proof complexity, computational complexity, combinatorics
    • Pavel Hrubeš

    • Researcher
      Institute of Mathematics of the Academy of Sciences of the Czech Republic
      Email: pahrubes@gmail.com
      Research fields: Computational complexity, proof complexity
    • Emil Jeřábek

    • Researcher
      Institute of Mathematics of the Academy of Sciences of the Czech Republic
      Email: jerabek@math.cas.cz
      Research fields: Proof complexity (in particular bounded arithmetic), nonclassical logics
    • Neil Dillip Thapen

    • Researcher
      Institute of Mathematics of the Academy of Sciences of the Czech Republic
      Email: thapen@math.cas.cz
      Research fields: Mathematical logic, proof complexity
    • Amirhossein Akbar Tabatabai

    • Ph. D. student
      Sharif University of Technology, Tehran, Iran
      Email: amir.akbar@gmail.com
      Research fields: General and infinite proof theory, proof interpretations of constructive and modal logics, recursion theory and implicit computational complexity, proof complexity, constructive mathematics

    • Raheleh Jalali Keshavarz

    • Ph.D. student
      Institute of Mathematics of the Academy of Sciences of the Czech Republic
      Email: jalali@math.cas.cz
      Research fields: Proof Complexity and Bounded Arithmetic, Constructive Mathematics, Mathematical Logic and Philosophy of Mathematics
    • Navid Talebanfard

    • Postdoc
      Institute of Mathematics of the Academy of Sciences of the Czech Republic
      Email: talebanfard@math.cas.cz
      Research fields:
  •  
  •  
  • Former members

  •  
    • Michal Garlík
      Member from 2014 to 2016

    • Postdoc
      Institute of Mathematics of the Academy of Sciences of the Czech Republic
      Email: garlik@math.cas.cz
      Research fields: Proof Complexity, Computational Complexity
  •  
    • Mateus de Oliveira Oliveira
      Member from 2014 to 2016

    • Postdoc
      Institute of Mathematics of the Academy of Sciences of the Czech Republic
      Email: mateus.oliveira@math.cas.cz
      Research fields: Computational Complexity Theory, Logic, Graph Theory
  •  
    • Petr Glivický
      Member from 2014 to 2014

    • Postdoc
      Institute of Mathematics of the Academy of Sciences of the Czech Republic
      Email: glivicky@math.cas.cz
      Research fields: Models of arithmetics, model theory, non-standard methods
  •