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

Лукин Михаил Андреевич
кандидат технических наук
доцент (квалификационная категория "доцент практики"), факультет информационных технологий и программирования

Преподаваемые дисциплины в текущем учебном году

  • Верификация программного обеспечения

Наименование направления подготовки и (или) специальности

Педагогический стаж

Общий стаж:
12 лет

Публикации

4
Статья
2014 год

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.

Статья
2013 год

Лукин М.А., Шалыто А.А. Разработка и автоматическая верификация параллельных автоматных программ. Информационно-управляющие системы. 2013. № 5(66). С. 43-50.

Монография
2011 год

Верификация автоматных программ

Статья
2008 год

Лукин М.А. Верификация автоматных программ с использованием верификатора SPIN. Научно-технический вестник СПбГУ ИТМО. 2008. № 53. С. 145-162.

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

2014 год
Повышение квалификации

Израиль, Хайфа