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. My primary work at the moment is the study of graph communication protocols.