
Michal Garlik
at UPC
Research area: Logic / Discrete Mathematics
Email: michal.garlik@upc.edu
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.