Алексей Беляев

Алексей Беляев приступил к научной работе на кафедре будучи студентом третьего курса. За это время им были получены ряд новых научных результатов, в т.ч. разработаны алгоритмы решения задачи программирования в ограничениях с использованием бинарных решающих диаграмм,  символьный метод построения автоматов Бюхи для формул линейной темпоральной логики, выявлена некорректность в опубликованном протоколе поддержки транзакционной памяти. Его достижения были отмечены дипломом Министерства Образования за лучшую студенческую научную работу по итогам конкурса 2009 года; Алексей занял также первое место в конкурсе научных работ студентов, проводившемся Московским Физико-техническим Институтом. В 2010 году Алексей стал лауреатом конкурса "Студент года" Санкт-Петербургского государственного политехнического университета.