I study proof complexity and bounded arithmetic with Jan Krajíček.
I drink a lot of coffee but I never prove any theorem.
E-mail:
