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

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

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

Подразделение: факультет программной инженерии и компьютерной техники

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

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

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

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

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

1. Повышение квалификации Профессионально-педагогическая компетентность эксперта единого государственного экзамена 2020 Российская Федерация Санкт-Петербург
2. Повышение квалификации Профессионально-педагогическая компетентность эксперта единого государственного экзамена 2018 Российская Федерация Санкт-Петербург
3. Повышение квалификации Профессионально-педагогическая деятельность эксперта единого государственного экзамена по информатики и ИКТ 2017 Российская Федерация Санкт-Петербург
4. Повышение квалификации Профессионально-педагогическая компетентность эксперта единого государственного экзамена 2017 Российская Федерация Санкт-Петербург
5. Повышение квалификации Разработка адаптированных образовательных программ высшего образования для обучающихся инвалидов и лиц с ограниченными возможностями здоровья. 2016 Российская Федерация
6. Курсы повышения квалификации на базе НИУ ИТМО Информационная поддержка научной деятельности 2016 Информационная поддержка научной деятельности Российская Федерация Санкт-Петербург
7. Повышение квалификации Прфессионально-педагогическая компетентность эксперта государственного выпускного экзамена в 11 классе по информатики и ИКТ 2015 Российская Федерация

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

  1. 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. [Тип: Статья, Год: 2020]
  2. Формальные языки, грамматики, автоматы [Тип: Учебник, учебное пособие, Год: 2019]
  3. Трансляция многопоточных программ на языке Go в CSPM [Тип: Тезисы, Год: 2018]
  4. Панов Г.В., Лаздин А.В. Разработка интеграции Continuous Integration системы в редактор кода. Сборник тезисов докладов конгресса молодых ученых (VII Всероссийский конгресс молодых ученых, 17-20 апреля 2018 г.). Электронное издание. 2018. [Тип: Статья, Год: 2018]
  5. 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]
  6. Буйчик А.В., Панов Г.В., Лаздин А.В. Исследование возможностей автоматизации бизнес-процессов программы обучения компании Netcracker и Университета ИТМО. Сборник тезисов докладов конгресса молодых ученых (VI Всероссийский конгресс молодых ученых, 18-21 апреля 2017 г.). Электронное издание. 2017. [Тип: Статья, Год: 2017]
  7. CSP модель языка программирования Go [Тип: Тезисы, Год: 2017]
  8. 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. [Тип: Статья, Год: 2016]
  9. 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]
  10. Korenkov Y., Loginov I., Lazdin A. PEG-based language workbench. Proceedings of the 17th Conference of Open Innovations Association FRUCT. 2015. pp. 75-81. [Тип: Статья, Год: 2015]
  11. Гедич А.А., Зыков А.Г., Лаздин А.В., Поляков В.И. Поиск процедур по графу переходов функциональной программы при верификации вычислительных процессов. Известия высших учебных заведений. Приборостроение. 2014. Т. 57. № 4. С. 64-68. [Тип: Статья, Год: 2014]
  12. Гедич А.А., Зыков А.Г., Лаздин А.В. Автоматический поиск локальных переменных и аргументов процедуры в исполняемом коде программы при верификации вычислительных процессов. Научно-технический вестник информационных технологий, механики и оптики. 2013. № 5(87). С. 117-123. [Тип: Статья, Год: 2013]
  13. Методы построения графо-аналитических моделей функциональных программ [Тип: Автореферат, Год: 2009]
  14. Зыков А.Г., Поляков В.И., Немолочнов О.Ф., Лаздин А.В. Верификация в исследовательских, учебных и промышленных системах. Научно-технический вестник СПбГУ ИТМО. 2003. № Выпуск 11. Актуальные проблемы анализа и синтеза сложных технических систем. [Тип: Статья, Год: 2003]
  15. Немолочнов О.Ф., Лаздин А.В. Метод построения графа функциональной программы для решения задач верификации и тестирования. Научно-Технический Вестник Информационных технологий, механики и оптики. 2002. № 2. [Тип: Статья, Год: 2002]
  16. Немолочнов О.Ф., Лаздин А.В. Оценка сложности графа функциональной программы. Научно-Технический Вестник Информационных технологий, механики и оптики. 2002. № 2. [Тип: Статья, Год: 2002]
  17. Программирование в Microsoft Windows [Тип: Учебник, учебное пособие, Год: 1993]