Michal Garlik

at UPC
Research area: Logic / Discrete Mathematics

PhD in Mathematics obtained at Charles University in Prague (2015)

Biosketch

Research lines

My research interests lie in computational complexity and mathematical logic in general, and in proof complexity in particular.

Selected publications