Erfan Khaniki is a PhD Student of Mathematics at Charles University in Prague and the Institute of Mathematics of the Czech Academy of Sciences, advised by Pavel Pudlak. He is interested in proof complexity and computational complexity.