Skip to content

Alexander Knop

  • PhD
  • Junior Researcher
  • Steklov Institute of Mathematics at St.Peterburg
  • 1h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 4CitationsNumber of citations received by Alexander's publications. Updated daily.

Other IDs

Research interests

cryptographyalgorithmsstructural complexityproof complexity

Co-authors (6)

Publications (5)

  • Reordering rule makes OBDD proof systems stronger

    • Buss S
    • Itsykson D
    • Knop A
    • et al.
    N/AReaders
    N/ACitations
  • Strategies for Stable Merge Sorting

    • Buss S
    • Knop A
    N/AReaders
    N/ACitations
  • Hard satisfiable formulas for splittings by linear combinations

    • Itsykson D
    • Knop A
    N/AReaders
    N/ACitations
    Get full text
  • IPS-like proof systems based on binary decision diagrams

    • Knop A
    N/AReaders
    N/ACitations
  • On the limits of gate elimination

    • Golovnev A
    • Hirsch E
    • Knop A
    • et al.
    N/AReaders
    N/ACitations

Professional experience

Junior Researcher

Steklov Institute of Mathematics at St.Peterburg

January 2017 - Present

Education

PhD

Steklov Institute of Mathematics at St.Peterburg

August 2013 - August 2016(3 years)

Specialist

Faculty of Mathematics and Mechanics, Saint-Petersburg State University

September 2008 - July 2013(5 years)