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

Должность: доцент

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

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

Стаж: 31 год

Условие работы: Основное место работы

Трудовой договор: с 11/16/2018 по 06/30/2019

Образование:

  • Диплом о высшем образовании (высшее профессиональное); Специальность: Электронные вычислительные машины; Квалификация: инженер-системотехник;

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

Преподаваемые дисциплины:

  • Прикладная математика
  • Высокопроизводительные вычисления и системы

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

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

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

  1. Korenkov I.D., Loginov I., Dergachev A., Lazdin A. Declarative target architecture definition for data-driven development toolchain. 5th International Multidisciplinary Scientific Conference on Social Sciences and Arts, SGEM 2018. 2018. Vol. 5. No. 1.5. pp. В печати. [Тип: Статья, Год: 2018]
  2. Трансляция многопоточных программ на языке Go в CSPM [Тип: Тезисы, Год: 2018]
  3. Панов Г.В., Лаздин А.В. Разработка интеграции Continuous Integration системы в редактор кода. Сборник тезисов докладов конгресса молодых ученых (VII Всероссийский конгресс молодых ученых, 17-20апреля 2018 г.). Электронное издание. 2018. [Тип: Статья, Год: 2018]
  4. CSP модель языка программирования Go [Тип: Тезисы, Год: 2017]
  5. Буйчик А.В., Панов Г.В., Лаздин А.В. Исследование возможностей автоматизации бизнес-процессов программы обучения компании Netcracker и Университета ИТМО. Сборник тезисов докладов конгресса молодых ученых (VI Всероссийский конгресс молодых ученых, 18-21 апреля 2017 г.). Электронное издание. 2017. [Тип: Статья, Год: 2017]
  6. 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]
  7. 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]
  8. 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]
  9. Гедич А.А., Зыков А.Г., Лаздин А.В., Поляков В.И. Поиск процедур по графу переходов функциональной программы при верификации вычислительных процессов. Известия высших учебных заведений. Приборостроение. 2014. Т. 57. № 4. С. 64-68. [Тип: Статья, Год: 2014]
  10. Гедич А.А., Зыков А.Г., Лаздин А.В. Автоматический поиск локальных переменных и аргументов процедуры в исполняемом коде программы при верификации вычислительных процессов. Научно-технический вестник информационных технологий, механики и оптики. 2013. № 5(87). С. 117-123. [Тип: Статья, Год: 2013]
  11. Методы построения графо-аналитических моделей функциональных программ [Тип: Автореферат, Год: 2009]
  12. Зыков А.Г., Поляков В.И., Немолочнов О.Ф., Лаздин А.В. Верификация в исследовательских, учебных и промышленных системах. Научно-технический вестник СПбГУ ИТМО. 2003. № Выпуск 11. Актуальные проблемы анализа и синтеза сложных технических систем. [Тип: Статья, Год: 2003]
  13. Немолочнов О.Ф., Лаздин А.В. Метод построения графа функциональной программы для решения задач верификации и тестирования. Научно-Технический Вестник Информационных технологий, механики и оптики. 2002. № 2. [Тип: Статья, Год: 2002]
  14. Немолочнов О.Ф., Лаздин А.В. Оценка сложности графа функциональной программы. Научно-Технический Вестник Информационных технологий, механики и оптики. 2002. № 2. [Тип: Статья, Год: 2002]
  15. Программирование в Microsoft Windows [Тип: Учебник, учебное пособие, Год: 1993]