Цесько Вадим Александрович

Фото Вадима Цесько
м.т.т.
ул. Политехническая, 21, к. 301
Санкт-Петербург
Web-сайт: https://incubos.org

Выпускник кафедры автоматики и вычислительной техники. В 2007 с отличием и медалью окончил факультет технической кибернетики Санкт-Петербургского Государственного Политехнического Университета по направлению "Информатика и вычислительная техника". Получил степень магистра техники и технологии. Тема работы: "Разработка технологии генерации шаблонов распределенных приложений на основе формального описания прикладных протоколов". С 2007 по 2010 проходил обучение в аспирантуре.

В настоящий момент работает ведущим разработчиком в команде Платформы Одноклассников. Ведёт преподавательскую деятельность на кафедре КСПТ ИКНТ (ФТК).

Научные интересы

  • Распределённые системы и хранилища данных
  • Верификация программных систем

Учебная деятельность

Ведёт занятия по дисциплинам:

Основные публикации

Конференции

  • Цесько В. А. Потоковая обработка данных с помощью модели акторов (Actor Model) // Application Developer Days (ADD-2012)
  • M. Glukhikh, V. Itsykson, V. Tsesko. Using Dependencies to Improve Precision of Program Analysis // Program Semantics, Specifiation and Verification" (PSSV-2011), The 6th International Computer Science Symposium in Russia (CSR 2011)
  • M. Belyaev, V. Tsesko. Development of LLVM-based Static Analysis Tool Using Type and Effect Systems // Program Semantics, Specifiation and Verification" (PSSV-2011), The 6th International Computer Science Symposium in Russia (CSR 2011)
  • Itsykson, V., Moiseev, M., Tsesko, V.; Zakharov, A. Automatic Defects Detection in Industrial C/C++ Software // Software Engineering Conference in Russia (CEE-SECR), 2009 5th Central and Eastern European. DOI:10.1109/CEE-SECR.2009.5501189
  • Ахин М. Х., Захаров А. В., Моисеев М. Ю., Ицыксон В. М., Цесько В. А. Автоматическое обнаружение дефектов в программных системах на языке С на основе статического анализа // Технологии Microsoft в теории и практике программирования: Материалы межвузовского конкурса-конференции студентов, аспирантов и молодых учёных Северо-Запада. — СПб.: Изд-во Политехн. ун-та. — 2010. — с. ?.
  • Ицыксон В. М., Моисеев М. Ю., Цесько В. А., Захаров А. В. Автоматическое обнаружение дефектов в промышленных программных системах на языках С/С++. Пятая ежегодная конференция "Разработка ПО 2009" (SECR-2009)
  • Цесько В. А., Ицыксон В. М. Исследование и разработка метода автоматизации контроля безопасности кода программных систем // Фундаментальные исследования в технических университетах: Материалы XII Всероссийской конференции по проблемам науки и высшей школы. 14 мая 2008 года, Санкт-Петербург. — СПб.: Изд-во Политехн. ун-та, 2008. — 506 с. — стр. 148-149
  • Цесько В. А., Ицыксон В. М. Разработка подхода и создание платформы для организации разнородных высокопроизводительных серверных вычислений на базе открытых кластерных технологий // Технологии Microsoft в теории и практике программирования: Материалы межвузовского конкурса-конференции студентов, аспирантов и молодых учёных Северо-Запада. — СПб.: Изд-во Политехн. ун-та. — 2006. — с. 80-82
  • Власовских А. С., Цесько В. А., Ицыксон В. М. Походы к представлению и хранению метаинформации о медиаобъектах // Технологии Microsoft в теории и практике программирования: Материалы межвузовского конкурса-конференции студентов, аспирантов и молодых учёных Северо-Запада. — СПб.: Изд-во Политехн. ун-та. — 2006. — с. 100-102

Гранты

  • Победитель конкурсного отбора 2010 года для предоставления субсидий в виде грантов для молодых учёных, молодых кандидатов наук вузов и академических институтов, расположенных на территории Санкт-Петербурга, в соответствии с распоряжением Комитета по науке и высшей школе Правительства Санкт-Петербурга от 09.11.2010 №69. Тема проекта: "Исследование методов дедуктивной верификации для автоматического обнаружения дефектов в исходном коде программного обеспечения". Номер гранта: 3.11/07-06/037б.
  • Победитель конкурса грантов 2009 года для студентов и аспирантов вузов и академических институтов, расположенных на территории Санкт-Петербурга, в соответствии с распоряжением Комитета по науке и высшей школе от 02.07.2009 №34. Тема проекта: "Использование бинарных решающих диаграмм для повышения эффективности автоматического обнаружения дефектов в исходном коде программного обеспечения". Номер гранта: 3.11/04-05/102.
  • Победитель конкурса грантов 2007 года для студентов и аспирантов вузов и академических институтов, расположенных на территории Санкт-Петербурга, проведённого в соответствии с приказом председателя Комитета по науке и высшей школы Правительства Санкт-Петербурга от 16.01.2007 №3. Тема проекта: "Разработка технологии генерации шаблонов распределённых приложений на основе формальной спецификации протоколов". Номер гранта: 03/3.11/17-03/54.

Свидетельства и патенты

  • Свидетельство о государственной регистрации программы для ЭВМ № 2009616183. Система статического анализа исходного кода и обнаружения дефектов в программах на языке С. Правообладатель: ГОУ "СПбГПУ". Авторы: Ицыксон В. М., Моисеев М. Ю., Глухих М. И., Цесько В. А., Захаров А. В., Ахин М. Х., Зозуля А. В., Мяснов А. В. Заявка № 2009616002. Зарегистрировано в реестре программ для ЭВМ 10.11.2009.