Pavel Hrubes headshot
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