I am a postdoc at the Polytechnic University of Catalonia working in the research group of Albert Atserias.

I received my PhD in September 2015 from the Charles University in Prague, Faculty of Mathematics and Physics. My supervisor was Jan Krajíček. From October 2015 to September 2016 I was a postdoc at the Faculty of Mathematics, Informatics, and Mechanics at the University of Warsaw, hosted by Leszek A. Kołodziejczyk. Afterwards, I spent three months at the Institute of Mathematics of the Czech Academy of Sciences.

My research interests are proof complexity, bounded arithmetic, and computational complexity.

I was a co-organizer of the Logic & Complexity Student Seminar (Winter 2016).