Dmitry Sokolov
Research interests:
Proof complexity, communication complexity, structural complexity, algorithms.
Contacts
Theoretical Computer Science Group
School of Computer Science and Communication at KTH University
KTH CSC, Lindstedtsvägen 3, 100 44 Stockholm, Sweden
sokolov.dmt@gmail.com
,
sokolovd@kth.se
Menu
Papers, talks and posters
My CV
Teaching
St. Petersburg Academic University
Computer Science Center