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.



Office 112
Institute of Mathematics CAS
Žitná 25
115 67 Praha 1
Czech Republic

Office phone: +420 222 090 767