Вадим Юрьевич Винник




Surname: Винник

Name: Вадим

Last name: Юрьевич

кандидат физ.-мат. наук

Ассистент,

кандидат физико-математических наук

Окончил Житомирский инженерно-технологический ин-тут (сейчас – Житомирский государственный технологический универ-ситет) в 1998 г., в 2003 г. защитил кандидатскую диссертацию под руководством акад. В.Н.Редька.
Область научных интересов:
• Модели семантики программ;
• Методы спецификации и верификации программ;
• Декларативное и функциональное программирование;
• Дискретно-событийное имитационное моделирование.
В.Ю. Винник читает лекции, проводит семинарские, практической ни и лабораторные занятия по следующим нормативных и специаль-ных курсов:
1. «Программирование» (2 курс специальности Информатика)
2. «Теория алгоритмов и математическая логика» (3 курс специальности Социальная информатика;
3. д / б «Формальные методы спецификации программы» (4 курс, специальность Информатика).
Вадим Юрьевич является куратором, руководителем производственной практики, руководителем курсовых и бакалаврских работ.

Основные публикации:
1. Винник В.Ю. Понятие равенства в среде експликативного программирования (на примере абстрактных типов данных) / / Проблемы программирования. – 2002. – № 3-4. – С. 33-43.
2. Винник В.Ю. Модификация метода IOTA для неиерархических типов / / Кибернетика и системный анализ. – 2003. – № 1. – С. 167-176.
3. Винник В.Ю. Композиционные модели буквенных структур слов / / Вестник Киевского университета. Серия: физико-математические науки. – 2002. – № 1. – С. 199-207.
4. Винник В.Ю. Структуры функций символьной обработки буквенного уровня / / Вестник Киевского университета. Серия: физико-математические науки. – 2002. – № 2. – С. 169-178.
5. Винник В.Ю. Композиционная семантика языка Рефале / / Вестник Житомирского инженерно-технологического института. Серия: технические науки. Спец. выпуск по материалам Международной научно-технической конференции «Информационно-компьютерные технологии 2002″. – 2002. – С. 44-52.
6. Винник В.Ю. Язык Haskell с точки зрения композиционного программирования / Ю.В. Винник, Т.С. Парфирова / / Материалы 8-й Международной конференции «Теоретические и прикладные аспекты построения программных систем».
7. Винник В.Ю. Алгоритмические языки и основы программирования: язык Си. – М.: ЖДТУ, 2007. – 328 с.

1. T. Parfirova, V. Vinnyk. Superposition of Acyclic Programs. First International Workshop Critical Infrastructure Safety and Security (CrISS-DESSERT’11), Kirovograd, Ukraine, May, 11-13 2011, Proceedings Volume 2, P. 229-234.
2. Винник В.Ю., Парфирова Т.С. Суперпозиции ациклических программ. Проблемы теоретической кибернетики. Материалы XVI Международной конференции, Нижний Новгород, Россия, 20-25 июня 2011 г., С. 92-95.
3. Винник В.Ю., Парфирова Т.С. Язык Haskell с точки зрения композиционного программирования. Материалы 8-й Международной конференции «Теоретические и прикладные аспекты построения программных систем» – TAAPSD’2011, Ялта, Украина, 19-23 сентября 2011

Новини
Дошка оголошень
Цікаві факти