EnglishEnglish

Ицыксон Владимир Михайлович

Фото Родился в 1973 году. В 1990 году поступил на кафедру АиВТ. В 1996 году защитил диплом с отличием по специальности "Вычислительные машины, комплексы, системы, сети". После обучения в аспирантуре защитил кандидатскую диссертацию на тему: "Исследование и проектирование моделей и программных средств эмуляции вычислительных систем" (2000 г.). С 2000 г. - доцент кафедры автоматики и вычислительной техники СПбГПУ,теперь - кафедры компьютерных систем и программных технологий.

С 1997 года руководит учебной лабораторией сетевых технологий и компьютерного моделирования. Принимал активное участие в создании кафедральной компьютерной сети и факультетской сетевой инфраструктуры.

С 2000 года руководит организованной с группой коллег на кафедре лабораторией программно-аппаратных разработок Digitek Labs. Задача лаборатории - решение наукоёмких высокотехнологичных задач промышленности с привлечением научного потенциала кафедры.

В 2001 году возглавил созданный на факультете технической кибернетики Телекоммуникационный центр ФТК, в задачи которого входит сетевое и информационное обеспечение деятельности факультета.

Области научных интересов:

  • Методы и средства эмуляции вычислительных систем
  • Компьютерные сети
  • Защита информации в автоматизированных системах и компьютерных сетях
  • Технологии разработки программного обеспечения
  • Программная инженерия
  • Методы обнаружения дефектов в исходном коде программного обеспечения
  • Методы автоматизации тестирования программного обеспечения
  • Реинжиниринг и реверс-инжиниринг ПО

Читает курсы:

Информация для студентов. (2011-2012)

Школы

Выступал приглашенным лектором на школе:

Конференции

Является членом программного комитета следующих конференций:

Конференция Лого
Summer School on Concurrency (RSS2012)
Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012) PSSV-2012
Software Engineering Conference Russia 2012 (CEE-SECR 2012) SECR2012
Application Developer Days (ADD-3) ADD-3
Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011) PSSV-2011
Software Engineering Conference Russia 2011 (CEE-SECR 2011) SECR2011
Summer School in Software Engineering and Verification 2011 (SSSEV 2011) SSSEV2001
Международная научно-практическая конференция « НЕДЕЛЯ НАУКИ СПбГПУ» ScienceWeek

Публикации:

Автор более 110 публикаций, в числе которых 3 учебных пособия, 2 методических указания, более 25 научных статей. В том числе:

2012

  • Ицыксон В.М. Автоматизация реинжиниринга программного обеспечения при портировании на новые библиотеки с помощью частичных спецификаций. Информационно-управляющие системы. №2, 2012. - СПб:РИЦ ГУАП, сс. 31-38
  • Глухих М.И., Ицыксон В.М., Цесько В.А. Использование зависимостей для повышения точности статического анализа программ. Моделирование и анализ информационных систем. №4, 2011. Т. 18. - Ярославль: Изд-во Яросл. ун-та. сс. 68-79.

2011

2010

2009

2008

  • Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Карпенко А.В. Исследование систем автоматизации обнаружения дефектов в исходном коде программного обеспечения. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №5 (65), 2008. сс. 119-127. СПб: СПбГПУ
  • Ицыксон В.М., Захаров А.В., Ахин М.Х., Мяснов А.В. Автоматическое обнаружение дефектов программных систем на основе метода проверки модели. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №5 (65), 2008. сс. 127-134. СПб: СПбГПУ
  • Ицыксон В.М. Исследование и разработка системы автоматического обнаружения дефектов в исходном коде программного обеспечения. Итоговая конференция по реализации мероприятий за 2008г. по приоритетному направлению «Информационно-телекоммуникационные системы» в рамках выполнения ФЦП «Исследования и разработки по приоритетным направлениям развития научно-технического комплекса России на 2007-2012 годы». Ханты-Мансийск-2008

2006

  • Ицыксон В.М. Формальная модель интерфейсов информационных систем для автоматизации синтеза корректных пользовательских интерфейсов. Вычислительные, измерительные и управляющие системы. Сборник научных трудов. 2006
  • Ицыксон В.М. Технологии компьютерных сетей. Программирование сетевых приложений. Методические указание к лабораторным работам. СПб: СПбГПУ, 2006, 91с.
  • Стручков И.В., Ицыксон В.М. Формализм для описания программных систем и вычислительных процессов циклической параллельной обработки данных реального времени. Информационно-управляющие системы. № 2(26) 2006, СПб:РИЦ ГУАП. сс. 8-13.

2005

  • Ицыксон В.М., Фролов Д.С. Автоматизированная генерация графических пользовательских интерфейсов на основе графовых моделей с обеспечение непротиворечивости с помощью технологии семантических инвариантов. Вычислительные, измерительные и управляющие системы. Сборник научных трудов. СПб: СПбГПУ. 2005
  • Ицыксон В.М. Технологии компьютерных сетей. Методические указания к лабораторным работам. СПбГПУ. 2005. 68с.

2004

  • Ицыксон В.М. Обеспечение целостности программного обеспечения с помощью технологии безопасной модификации. Вычислительные, измерительные и управляющие системы. Сборник научных трудов аспирантов и молодых ученых ФТК. СПб: СПбГПУ. 2004. сс. 95-101
  • Ицыксон В.М. Архитектура встраиваемой операционной системы реального времени для многоканальных систем сигнальной обработки. Вычислительные, измерительные и управляющие системы. Сборник научных трудов аспирантов и молодых ученых ФТК. СПб: СПбГПУ. 2004. сс. 83-88.

до 2004

  • Ицыксон В.М. Технология проектирования программного обеспечения, основанная на явном представлении семантических свойств программ. Вычислительные, измерительные и управляющие системы. Труды СПбГТУ № 486. сс. 54-59
  • Ицыксон В.М. Применение статических инвариантов для обеспечения целостности программ при их модификации. Труды СПбГТУ № 482. - СПб.: 2001.
  • Ицыксон В.М., Цыган В.Н. Организация вычислительного процесса для реализации параллельного взаимодействия компонентов в системах эмуляции микропроцессорных систем. Труды СПбГТУ № 479. - СПб.: 2000.
  • Птицына Л.К., Соколова Н.В., Хлудова М.В., Ицыксон В.М. Системное программное обеспечение. Технологии, инструментальные средства и среды глобальных сетей. Учебное пособие. - СПб.: СПбГТУ, 1998.
  • Ицыксон В.М. Эмуляция работы вычислительных систем с помощью специализированного языка описания устройств. Труды СПбГТУ № 469. - СПб.: 1997.

Интервью для электронного портала "Software-Testing.ru"

E-mail: vlad@ftk.spbstu.ru

Обновлено: 01.05.2012 02:47

Полезные ссылки

Мета

Вход на сайт

© 1998/2009 ТКЦ ФТК