–
Участие в редколлегии сборников
- 1997 Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings
- член редколлегии: Адян С.И.
- серия Lecture Notes in Computer Science, том 1234
- место издания Springer-Verlag Berlin
- 1988 Сложность вычислений и прикладная математическая логика
- член редколлегии: Адян С.И.
- серия Вопросы кибернетики, том 134
- место издания Научный совет АН СССР по комплексной проблеме «Кибернетика» Москва
Членство в диссертационных советах
-
- 31 декабря 2019 - 31 декабря 2021 МГУ.011.4(01.17), МГУ имени М.В. Ломоносова, Механико-математический факультет
- 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
- Действующие члены совета: Чубариков В.Н., Иванов А.О., Мануйлов В.М., Алексеев В.Б., Беклемишев Л.Д., Богатый С.А., Гасанов Э.Э., Гашков С.Б., Геворкян П.С., Зайцев М.В., Кочергин В.В., Мищенко А.С., Нестеренко Ю.В., Орлов Д.О., Панов Т.Е., Садовничий Ю.В., Селезнева С.Н., Тюрин Н.А., Фоменко А.Т., Чирский В.Г., Шафаревич А.И., Шелехов А.М.
-
- 8 февраля 2008 - 31 августа 2017 Д 501.001.84, МГУ имени М.В. Ломоносова, Механико-математический факультет
- 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)