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

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

Кафедра: кафедра информатики и прикладной математики

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

Стаж: 30 лет

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

Трудовой договор: с 09/01/2016 по 03/01/2018

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

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

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

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

  • Основы разработки компиляторов
  • Теория формальных грамматик и автоматов
  • Высокопроизводительные вычисления и системы
  • Операционные системы

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

№ п/п
Тип
Название
Год
Описание
Страна
Город
1
Курсы повышения квалификации на базе НИУ ИТМО
Информационная поддержка научной деятельности
2016
Информационная поддержка научной деятельности
Российская Федерация
Санкт-Петербург

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

  1. 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]
  2. 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]
  3. 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]
  4. Гедич А.А., Зыков А.Г., Лаздин А.В., Поляков В.И. Поиск процедур по графу переходов функциональной программы при верификации вычислительных процессов. Известия высших учебных заведений. Приборостроение. 2014. Т. 57. № 4. С. 64-68. [Тип: Статья, Год: 2014]
  5. Гедич А.А., Зыков А.Г., Лаздин А.В. Автоматический поиск локальных переменных и аргументов процедуры в исполняемом коде программы при верификации вычислительных процессов. Научно-технический вестник информационных технологий, механики и оптики. 2013. № 5(87). С. 117-123. [Тип: Статья, Год: 2013]
  6. Методы построения графо-аналитических моделей функциональных программ [Тип: Автореферат, Год: 2009]
  7. Зыков А.Г., Поляков В.И., Немолочнов О.Ф., Лаздин А.В. Верификация в исследовательских, учебных и промышленных системах. Научно-технический вестник СПбГУ ИТМО. 2003. № Выпуск 11. Актуальные проблемы анализа и синтеза сложных технических систем. [Тип: Статья, Год: 2003]
  8. Немолочнов О.Ф., Лаздин А.В. Оценка сложности графа функциональной программы. Научно-Технический Вестник Информационных технологий, механики и оптики. 2002. № 2. [Тип: Статья, Год: 2002]
  9. Немолочнов О.Ф., Лаздин А.В. Метод построения графа функциональной программы для решения задач верификации и тестирования. Научно-Технический Вестник Информационных технологий, механики и оптики. 2002. № 2. [Тип: Статья, Год: 2002]
  10. Программирование в Microsoft Windows [Тип: Учебник, учебное пособие, Год: 1993]