**Jan Bydžovský**

Technische Universität Wien,

Institute of Discrete Mathematics and Geometry

Wiedner Hauptstraße 8–10/104, A-1040

Vienna, Austria

Institute of Discrete Mathematics and Geometry

Wiedner Hauptstraße 8–10/104, A-1040

Vienna, Austria

e-mail: jan.bydz <@> gmail.com
### Preprints

(with Igor Carboni Oliveira and Jan Krajíček) Consistency of circuit lower bounds with bounded theories, preprint 2019 [PDF]
(with Moritz Müller) Polynomial time ultrapowers and the consistency of circuit lower bounds, Archive for Mathematical Logic, to appear 2019 [PDF]
Powers of Models in Weak Arithmetics,
* MSc thesis, Faculty of
Mathematics, University of Vienna, 2018 *
[PDF]

I am a Ph.D. student of Professor Mathias Baaz at the Institute of Discrete Mathematics and Geometry in Computational Logic research unit. I obtained my Bachelor in pure Logic at Charles University in Prague (Department of Logic) under the supervision of Radek Honzík and my Master of Mathematics at University of Vienna (KGRC) under the supervision of Moritz Müller but I am also in debt to Ján Pich.

I share my advisor with Juan and Anela, and my thoughts with Jan.

My research interests are proof theory, proof complexity and complexity theory. I am fan of Krajíček`s forcing with random variables and model theory of bounded arithmetics in general.