Alexander V. Smal PhD student Research interests Proof complexity, structural complexity, algorithms, cryptography.

Contacts

• Laboratory of Mathematical Logic
• Steklov Institute of Mathematics at St.Petersburg
• 27 Fontanka, St. Petersburg 191023, Russia
• smal{at}logic.pdmi.ras.ru

Teaching

• Academy of Modern Software Engineering
• St. Petersburg Academic University
• St. Petersburg City Palace of Youth Creativity

Links

• My advisor: Edward A. Hirsch
• Papers, talks and posters
• My CV