Past Visitor
Pavel Hrubes
Affiliation
Mathematics
Field of Study
Computer Science
From
–
Pavel Hrubes's research concerns complexity of propositional and algebraic proof systems, the ideal targets being Frege and extended Frege systems, and algebraic circuit complexity.
Dates at IAS
Visitor
School of Mathematics
–
Member
School of Mathematics
–
Degrees
Charles University
Ph.D.
2004