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.
Visits
Visitor
School of Mathematics
–
Member
School of Mathematics
–
Degrees
Charles University
Ph.D.
2004