Vadim Yurijovich Vinnik




Surname: Vinnik

Name: Vadim

Last name: Yurijovich

PhD

Assistant,
Candidate of Physical and Mathematical Sciences

Graduated Zhytomyr Engineering and Technology institutes here (out – Zhitomir State Technological Uni-versity) in 1998 and in 2003 he defended his thesis under the supervision of Acad. V.N.Redka.
Research Interests:
• Models semantics of programs;
• Methods for specification and verification of programs;
• declarative and functional programming;
• discrete modulo event simulation.
VU Vinnyk lectures, conducts seminars, practical and laboratory classes or with these regulations and special-tion courses:
1. “Programming” (2 course in Computer Science);
2. “The theory of algorithms and mathematical logic” (3 course in social science;
3. d / b “Formal methods specification programs” (4 courses, specialty Information).
Vadim is a curator, director of industrial practice, the head of coursework and undergraduate work.

Publications:
1. Vinnyk VY The concept of equality among eksplikatyvnoho programming (for example, abstract data types) / / Problems programming. – 2002. – № 3-4. – S. 33-43.
2. Winnick VY Modification method for IOTA neyerarhycheskyh typical / / Cybernetics and systems analysis. – 2003. – № 1. – S. 167-176.
3. Vinnyk VY Composite models literal structures of words / / Bulletin of Kyiv University. Series: Physics & Mathematics. – 2002. – № 1. – S. 199-207.
4. Vinnyk VY Structure features of symbolic processing literal level / / Bulletin of Kyiv University. Series: Physics & Mathematics. – 2002. – № 2. – S. 169-178.
5. Vinnyk VY Compositional semantics Refal / / Journal of Engineering and Technology Institute. Series: Engineering Sciences. Spec. production of the materials of the International scientific conference “Information and Computer Technologies 2002″. – 2002. – S. 44-52.
6. Winnick VY Language Haskell from the point of view kompozytsyonnoho programming / Y. Winnick, T. Parfyrova / / Proceedings of the 8th International Conference “Theoretical and applied aspects of software systems.”
7. Vinnyk VY Algorithmic language and the basics of programming: C language. – Zhytomyr: ZSTU, 2007. – 328 p.

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. Winnick VY, Parfyrova TS Superposition atsyklycheskyh programs. Problems teoretycheskoy Science. Arriving XVI international conference, Nizhny Novgorod, Russia, 20-25 June 2011, S. 92-95.
3. Winnick VY, Parfyrova TS Language Haskell from the point of view kompozytsyonnoho programming. Proceedings of the 8th International Conference “Theoretical and practical aspects of building software systems» – TAAPSD’2011, Yalta, Ukraine, 19-23 September 2011

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