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

Должность: доцент (квалификационная категория "доцент практики")

Кафедра: факультет информационных технологий и программирования

Уч. степень: кандидат технических наук

Стаж: 10 лет

Условие работы: Внешний совместитель

Трудовой договор: с 09/03/2018 по 06/30/2019

Образование:

  • Диплом о высшем образовании (высшее профессиональное); Специальность: прикладная математика и информ; Квалификация: магистр;

Повышение квалификации:

№ п/п
Тип
Название
Год
Описание
Страна
Город
1
Повышение квалификации
2014
Израиль
Хайфа

Список трудов:

  1. Lukin M., Buzdalov M., Shalyto A. Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2014. Vol. 8855. pp. 165-170. [Тип: Статья, Год: 2014]
  2. Лукин М.А., Шалыто А.А. Разработка и автоматическая верификация параллельных автоматных программ. Информационно-управляющие системы. 2013. № 5(66). С. 43-50. [Тип: Статья, Год: 2013]
  3. Верификация автоматных программ [Тип: Монография, Год: 2011]
  4. Лукин М.А. Верификация автоматных программ с использованием верификатора SPIN. Научно-технический вестник СПбГУ ИТМО. 2008. № 53. С. 145-162. [Тип: Статья, Год: 2008]