Лаздин Артур Вячеславович

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

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

  • Метамоделирование
  • Программирование

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

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

Общий стаж:
33 года

Публикации

17
Статья
2020 год

Goncharova M., Uteshev A., Lazdin A. Evaluating Distance Approximation for Implicit Curve Fitting. Proceedings of the 26th Conference of Open Innovations Association FRUCT. 2020. pp. 102-107.

Учебник, учебное пособие
2019 год

Формальные языки, грамматики, автоматы

Статья
2018 год

Korenkov I., Loginov I., Dergachev A., Lazdin A. Declarative target architecture definition for data-driven development toolchain. 18th International Multidisciplinary Scientific GeoConference Surveying Geology and Mining Ecology Management, SGEM-2018. 2018. Vol. 18. No. 2.1. pp. 271-278.

Статья
2018 год

Панов Г.В., Лаздин А.В. Разработка интеграции Continuous Integration системы в редактор кода. Сборник тезисов докладов конгресса молодых ученых (VII Всероссийский конгресс молодых ученых, 17-20 апреля 2018 г.). Электронное издание. 2018.

Тезисы
2018 год

Трансляция многопоточных программ на языке Go в CSPM

Статья
2017 год

Буйчик А.В., Панов Г.В., Лаздин А.В. Исследование возможностей автоматизации бизнес-процессов программы обучения компании Netcracker и Университета ИТМО. Сборник тезисов докладов конгресса молодых ученых (VI Всероссийский конгресс молодых ученых, 18-21 апреля 2017 г.). Электронное издание. 2017.

Тезисы
2017 год

CSP модель языка программирования Go

Статья
2016 год

Khalansky D., Lazdin A., Mouromtsev D. Creation of a Static Analysis Algorithm Using Ad Hoc Programming Languages. Proceedings of the 19th Conference of Open Innovations Association FRUCT. 2016. pp. 72-79.

Статья
2015 год

Gedich A., Lazdin A. Improved algorithm for identification of switch tables in executable code. Proceedings of the 17th Conference of Open Innovations Association FRUCT. 2015. pp. 44-49.

Статья
2015 год

Korenkov Y., Loginov I., Lazdin A. PEG-based language workbench. Proceedings of the 17th Conference of Open Innovations Association FRUCT. 2015. pp. 75-81.

Статья
2014 год

Гедич А.А., Зыков А.Г., Лаздин А.В., Поляков В.И. Поиск процедур по графу переходов функциональной программы при верификации вычислительных процессов. Известия высших учебных заведений. Приборостроение. 2014. Т. 57. № 4. С. 64-68.

Статья
2013 год

Гедич А.А., Зыков А.Г., Лаздин А.В. Автоматический поиск локальных переменных и аргументов процедуры в исполняемом коде программы при верификации вычислительных процессов. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2013. № 5(87). С. 117-123.

Автореферат
2009 год

Методы построения графо-аналитических моделей функциональных программ

Статья
2003 год

Зыков А.Г., Поляков В.И., Немолочнов О.Ф., Лаздин А.В. Верификация в исследовательских, учебных и промышленных системах. Научно-технический вестник СПбГУ ИТМО. 2003. № Выпуск 11. Актуальные проблемы анализа и синтеза сложных технических систем.

Статья
2002 год

Немолочнов О.Ф., Лаздин А.В. Метод построения графа функциональной программы для решения задач верификации и тестирования. Научно-Технический Вестник Информационных технологий, механики и оптики. 2002. № 2.

Статья
2002 год

Немолочнов О.Ф., Лаздин А.В. Оценка сложности графа функциональной программы. Научно-Технический Вестник Информационных технологий, механики и оптики. 2002. № 2.

Учебник, учебное пособие
1993 год

Программирование в Microsoft Windows

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

Повышение квалификации
2020 год
Профессионально-педагогическая компетентность эксперта единого государственного экзамена

Российская Федерация, Санкт-Петербург

Повышение квалификации
2018 год
Профессионально-педагогическая компетентность эксперта единого государственного экзамена

Российская Федерация, Санкт-Петербург

Повышение квалификации
2017 год
Профессионально-педагогическая деятельность эксперта единого государственного экзамена по информатики и ИКТ

Российская Федерация, Санкт-Петербург

Повышение квалификации
2017 год
Профессионально-педагогическая компетентность эксперта единого государственного экзамена

Российская Федерация, Санкт-Петербург

Повышение квалификации
2016 год
Разработка адаптированных образовательных программ высшего образования для обучающихся инвалидов и лиц с ограниченными возможностями здоровья.

Российская Федерация

Курсы повышения квалификации на базе НИУ ИТМО
2016 год
Информационная поддержка научной деятельности
Информационная поддержка научной деятельности

Российская Федерация, Санкт-Петербург

Повышение квалификации
2015 год
Прфессионально-педагогическая компетентность эксперта государственного выпускного экзамена в 11 классе по информатики и ИКТ

Российская Федерация