About the Author
Pavel Hrubeš
Pavel Hrubeš
Institute of Mathematics of ASCR
Prague, Czechia
hrubes[ta]math[td]cas[td]cz
www.math.cas.cz/homepage/main_page.php?id_membre=189
Pavel Hrubeš graduated from Charles University in Prague in 2008 under the supervision of Pavel Pudlák.

After a period of joyful postdocs in the U.S. and Canada, he became a mature worker in the factory of academia. He contributes mainly to arithmetic circuit complexity and proof complexity. His hobbies include mountaineering and brooding.