Dmitry Sokolov
Research interests:
Proof complexity, communication complexity, structural complexity, algorithms.