Pavel Hrubeš graduated from Charles University in Prague in 2008, and he has been touring the world ever since. His supervisor was Pavel Pudlák. He is interested in computational complexity and logic.