Стипендии
Стипендия для студентов Computer Science клуба при ПОМИ РАН была учреждена в весеннем семестре 2010 года. Претендентами на получение стипендии являются студенты и аспиранты, ведущие научно-исследовательскую работу в области computer science и сдавшие не менее двух экзаменов в Санкт-Петербургском отделении клуба. Для участия в конкурсе необходимо было заполнить форму, включающую в себя подробное описание предлагаемого исследования, имеющийся научный задел и предполагаемые результаты. Отбор стипендиатов производился жюри в следующем составе: М. А. Бабенко, А. С. Куликов, Ю. В. Матиясевич, А. Х. Шень.
Победители конкурса стипендий Computer Science клуба при ПОМИ РАН в весеннем семестре 2011 года:
- Евгений Деменков, аспирант СПбГУ
Тема работы: "Доказательство оценок на схемную сложность булевых функций".
По результатам исследований написана статья "An Elementary Proof of a 3n-o(n) Lower Bound on the Circuit Complexity of Affine Dispersers", опубликованная в трудах конференции 36th International Symposium on Mathematical Foundations of Computer Science.
Материалы: публикация на сайте издательства, локальная копия статьи, слайды, отчёт по результатам исследований. - Дмитрий Соколов, студент АУ РАН
Тема работы: "Нижние оценки на время работы DPLL алгоритмов с эвристикой отсечения".
По результатам исследований написана статья "Lower bounds for myopic DPLL algorithms with a cut heuristic", принятая к публикации в трудах конференции 22nd International Symposium on Algorithms and Computation.
Материалы: локальная копия статьи, слайды, отчёт по результатам исследований.

