
| Підрозділ | Відділ інформаційної безпеки |
|---|---|
| Посада | Головний науковий співробітник |
| Звання НАН | Академік НАН України |
| Науковий ступінь | Доктор фізико-математичних наук |
| Вчене звання | Професор |
| redko_volodymyr |
Про співробітника
Автор понад 160 наукових, навчальних та методичних праць, в тому числі 3 монографій.
Основні напрями наукових досліджень
- Програмологія
- Теорія дескриптивних та декларативних програмних алгеброїдів
- Метод дефініторних алгебр
Нагороди та відзнаки
- 2003Лауреат Державної премії України в галузі науки і техніки за цикл робіт з теоретичних основ та інструментальних засобів розробки програмного забезпечення інформаційних технологій
- 1999Нагрудний знак «За досягнення» міністерства України у справах науки і технологій
- 1992Лауреат премії імені В. М. Глушкова Президії Академії Наук України за цикл робіт з теорії та реалізації нових інформаційних технологій
- 1984Орден Дружби народів СРСР
- 1982Медаль «В память 1500-летия Киева» Президії Верховної Ради СРСР
- 1977Знак «Победитель социалистического соревнования 1976 года» міністерства вищої та середньої спеціальної освіти СРСР та ЦК профспілки працівників освіти, вищої школи та наукових закладів
- 1970Ювілейна медаль «За доблестный труд. В ознаменование 100-летия со дня рождения Владимира Ильича Ленина» Президії Верховної Ради СРСР
- Нагрудний знак «За отличные успехи в работе» міністерства вищої та середньої спеціальної освіти СРСР