Научный журнал ISSN 1684-8853 English
Информационно-управляющие системы
Рецензируемое издание

Лукин Михаил Андреевич

Лукин Михаил Андреевич

Аспирант кафедры компьютерных технологий Санкт-Петербургского национального исследовательского университета информационных технологий механики и оптики.

В 2009 году окончил Санкт-Петербургский государственный университет информационных технологий, механики и оптики по специальности «Прикладная математика и информатика». Является автором 13 научных публикаций Область научных интересов – верификация программного обеспечения, статические анализаторы кода.

Статьи автора:

  1. Разработка и автоматическая верификация параллельных автоматных программ
    М. А. Лукин , А. А. Шалыто
    Журнал: 5(66)/2013 (Программные и аппаратные средства)