Michal Garlik
EIMI international postdoc
PDMI
Contacts:
Education:
2015 - Ph.D. in Algebra, Theory of Numbers and Mathematical Logic. Faculty of Mathematics and Physics, Charles University in Prague.
Supervisor: Jan Krajíček.
Ph.D. thesis: Model constructions for bounded arithmetic.
2011 - Mgr. in mathematics. Faculty of Mathematics and Physics, Charles University in Prague.
Supervisor: Jan Krajíček.
Ph.D. thesis: Model constructions for bounded arithmetic.
2011 - Mgr. in mathematics. Faculty of Mathematics and Physics, Charles University in Prague.
Previous employment:
2017 - 2020: Polytechnic University of Catalonia, Postdoc
2016: Institute of Mathematics of the Czech Academy of Sciences.
2015 - 2016: ERCIM Fellow at the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw.
2016: Institute of Mathematics of the Czech Academy of Sciences.
2015 - 2016: ERCIM Fellow at the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw.
Interests:
proof complexity, computational complexity