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

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

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

  • Языки программирования
  • Основы разработки компиляторов
  • Формальные языки и грамматики
  • Операционные системы
  • Разработка компиляторов

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

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

Публикации

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

Монтаж и эксплуатация компьютерных сетей

Статья
2022 год

Лаздин А.В., Смирнова А.А. Многопоточный подход для моделирования недетерминированных дискретно-событийных систем. Научно-технический вестник Поволжья. 2022. № 4. С. 188-192.

Статья
2021 год

Колычев П.М., Лаздин А.В., Паскаленко Т.В., Фирова Э.М. Алгоритм оценки объекта по смыслу его текстовых данных. Научная сессия ГУАП: гуманитарные науки: сборник докладов научной сессии, посвященной Всемирному дню авиации и космонавтики (Санкт-Петербург, 14–22 апреля 2021 года). 2021. С. 78-81.

Статья
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 год

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

Статья
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 год

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

Тезисы
2017 год

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

Статья
2017 год

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

Статья
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 год

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 год

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.

Статья
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

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

Повышение квалификации
2022 год
Курс: Ораторское искусство педагога высшей школы. Техника публичных выступлений

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

Повышение квалификации
2022 год
Курс: Программирование Python

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

Онлайн курс
2021 год
Курс повышения квалификации преподавателей ИТМО

Нидерланды, Лейден

Повышение квалификации
2021 год
Академия ЮРАЙТ VIII Зимняя школа преподавателя. Тренды цифрового образования.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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