Erfan Khaniki

Graduate Student, Charles University Prague

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.

Program Visits

Meta-Complexity, Spring 2023, Visiting Graduate Student
Satisfiability: Theory, Practice, and Beyond, Spring 2021, Visiting Graduate Student