Научно-педагогический состав

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

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

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

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

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

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

Публикации

6
Статья
2022 год

Krivopaltsev D., Surovitskii L., Lukin M. A Versatile Software for Statistical Data Analysis and Spatial Correlation. Springer Proceedings in Earth and Environmental Sciences. 2022. pp. 89-103.

Статья
2021 год

Mihajlenko K., Lukin M., Stankevich A. A method for decompilation of AMD GCN kernels to OpenCL. Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy]. 2021. No. 2(111). pp. 33-42.

Статья
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 год
Повышение квалификации

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