Skip to content

Alexander Knop

  • Student
  • Junior Researcher
  • Steklov Institute of Mathematics at St.Peterburg
  • 11ReadersNumber of instances of Alexander's publications in Mendeley libraries. Updated daily.
  • 7PublicationsNumber of items in this person’s My Publications folder on Mendeley.

Other IDs

Research interests

cryptographyalgorithmsstructural complexityproof complexity

Co-authors (6)

Publications (7)

Hard satisfiable formulas for splittings by linear combinations

  • Itsykson D
  • Knop A
Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings (2017)
  • n/a

    Readers

  • n/a

    Citations

Full text

On OBDD-based algorithms and proof systems that dynamically change order of variables

  • Itsykson D
  • Knop A
  • Romashchenko A
34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany (2017)
  • n/a

    Readers

  • n/a

    Citations

Full text

Complexity of distributions and average-case hardness

  • Itsykson D
  • Knop A
  • Sokolov D
27th International Symposium on Algorithms and Computation, ISAAC 2016, December 12-14, 2016, Sydney, Australia (2016)
  • n/a

    Readers

  • n/a

    Citations

Full text

On the limits of gate elimination

  • Golovnev A
  • Hirsch E
  • Knop A
41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26, 2016 - Kraków, Poland (2016)
  • n/a

    Readers

  • n/a

    Citations

Circuit lower bounds for average-case MA

  • Knop A
Computer Science - Theory and Applications - 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings (2015)
  • n/a

    Readers

  • n/a

    Citations

Professional experience

Junior Researcher

Steklov Institute of Mathematics at St.Peterburg

January 2017 - Present

Education history

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)