'/%3E%3C/svg%3E){kind=small}
| Department | Cybersecurity Department |
|---|---|
| Position | Chief Researcher |
| NAS of Ukraine | Academician of the NAS of Ukraine |
| Academic degree | Doctor of Sciences (Physics and Mathematics) |
| Academic title | Professor |
| redko_volodymyr |
About
Author of more than 160 scientific, educational and methodological works, including 3 monographs.
Main areas of research
- Programmology
- Theory of descriptive and declarative program algebroids
- Method of definitor algebras
Awards and honours
- 2003Laureate of the State Prize of Ukraine in Science and Technology for a series of works on the theoretical foundations and tools for developing software for information technologies
- 1999Badge “For Achievements” of the Ministry of Ukraine for Science and Technology
- 1992Laureate of the V. M. Glushkov Prize of the Presidium of the Academy of Sciences of Ukraine for a series of works on the theory and implementation of new information technologies
- 1984Order of Friendship of Peoples of the USSR
- 1982Medal “In Commemoration of the 1500th Anniversary of Kyiv” of the Presidium of the Supreme Soviet of the USSR
- 1977Badge “Winner of the Socialist Competition of 1976” of the Ministry of Higher and Secondary Specialized Education of the USSR and the Central Committee of the Trade Union of Workers of Education, Higher School and Scientific Institutions
- 1970Jubilee medal “For Valiant Labour. In Commemoration of the 100th Anniversary of the Birth of Vladimir Ilyich Lenin” of the Presidium of the Supreme Soviet of the USSR
- Badge “For Excellent Success in Work” of the Ministry of Higher and Secondary Specialized Education of the USSR