About the Author
Pavel Hrubeš
Pavel Hrubeš
Institute of Mathematics of ASCR
Prague, Czechia
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.