Skip to content

Alexander Smal

  • M.Sc. in Computer Science
  • Steklov Institute of Mathematics
  • 2h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 6CitationsNumber of citations received by Alexander's publications. Updated daily.

Other IDs

Research interests

cryptographyalgorithmsstructural complexityproof complexity

Co-authors (8)

Publications (5)

  • Half-duplex communication complexity

    • Hoover K
    • Impagliazzo R
    • Mihajlin I
    • et al.
    N/AReaders
    N/ACitations
  • Gate elimination: Circuit size lower bounds and #SAT upper bounds

    • Golovnev A
    • Kulikov A
    • Smal A
    • et al.
    N/AReaders
    N/ACitations
    Get full text
  • Prediction from Partial Information and Hindsight, an Alternative Proof

    • Smal A
    • Talebanfard N
    N/AReaders
    N/ACitations
    Get full text
  • On Optimal Heuristic Randomized Semidecision Procedures, with Applications to Proof Complexity and Cryptography

    • Hirsch E
    • Itsykson D
    • Monakhov I
    • et al.
    N/AReaders
    N/ACitations
    Get full text
  • Succinct Interactive Proofs for Quantified Boolean Formulas

    • Hirsch E
    • Smal A
    N/AReaders
    N/ACitations

Education

PhD student

Steklov Institute of Mathematics

October 2008 - Present

M.Sc. in computer science

Saint Petersburg State University of Information Technologies, Mechanics and Optics

September 2002 - July 2010(8 years)