•  

    • 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: Computational complexity, proof complexity, combinatorics
  •  
  •  

  • 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
  •