Assistant Professor, Steklov Institute of Mathematics
Dmitry Sokolov is an Associate Professor at St. Petersburg State University and a Researcher at St. Petersburg Department of Steklov Institute of Mathematics. Previously he was a PhD student at the same institute, supervised by Edward Hirsch and Dmitry Itsykson. He has held postdoc positions at KTH Royal Institute of Technology and Lund University + University of Copenhagen hosted by Jakob Nordstrom.
His research interests include computational complexity, proof complexity, communication complexity and general topics of discrete mathematics.
Extended Reunion: Satisfiability , Spring 2023Visiting Scientist
Satisfiability: Theory, Practice, and Beyond , Spring 2021Visiting Scientist