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