Skip to content

Alexander Smal

  • M.Sc. in Computer Science
  • Steklov Institute of Mathematics
  • --

    Readers

    Number of times these publications have been added to libraries on Mendeley.
  • 2

    Publications

    Number of items in this person’s My Publications folder on Mendeley.

Research interests

proof complexity structural complexity algorithms cryptography

Followers (9)

Explore network

Following (10)

Explore network

Publications

Optimal heuristic algorithms for the image of an injective function ∗

  • Hirsch E
  • Nikolaenko V
  • Smal A
Electronic Colloquium on Computational Complexity (2013)
  • n/a

    Readers

  • n/a

    Citations

On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography

  • Hirsch E
  • Itsykson D
  • Smal A
Work (2010)
  • n/a

    Readers

  • n/a

    Citations

Education history

Steklov Institute of Mathematics

PhD student

October 2008 - Present

Saint Petersburg State University of Information Technologies, Mechanics and Optics

M.Sc. in computer science

September 2002 - July 2010 (8 years)