- Professional membership:
- Other service to the community:
Program Committee member.
Conference Chair; CSR-2014, co-chair.
conference series, Steering Committee member.
Journal on Satisfiability, ..., editorial board member (2005-2012).
International Journal of Computer Mathematics, editorial board member (2008-2011).
Journal "Notes of Mathematical Seminars of St.Petersburg Department of
Steklov Institute of Mathematics".
Computational Complexity Theory subseries,
editor for issues
VII (volume 293) and
IX (volume 316).
- Theory of Computing Systems, guest editor.
SAT Competition 2002, co-organizer.
Scientific Advisory Board of the Ministry of Education and Science of Russian Federation, member (2014-2017).