A PhD student of Theoretical Computer Science at Computer Science Institute, Faculty of Mathematics and Physics of Charles University in Prague and Institute of Mathematics of the Czech Academy of Sciences; advised by prof. Pavel Pudlák.
My research interests lie in theoretical computer science; in particular in computational complexity, proof complexity and algorithms. I am currently involved in the EPAC project.
Institute of Mathematics CAS
115 67 Praha 1
Office phone: +420 222 090 767