About the Author
Pavel Hrubeš
Pavel Hrubeš
postdoctoral fellow
University of Washington, Seattle, WA
pahrubes[ta]gmail[td]com
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.