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.
- Satisfiability: Theory, Practice, and Beyond, Spring 2021. Visiting Scientist.