Основні теми та напрями досліджень
Методи комп`ютерної алгебри та інерційного модулювання в системах статичного аналізу і верифікації програмного забезпечення.
Науковий керівник– проф. М.С. Львов
Розроблення системи управління якістю електронних освітніх ресурсів вищих навчальних закладів.
Науковий керівник – доц. Г. М. Кравцов
Інформаційні технології навчання у вищих навчальних закладах та методика їх використання.
Науковий керівник – проф. О. В. Співаковський
Науково-методичні проблеми розробки сучасних педагогічних програмних засобів (електронних підручників нового покоління).
Наукові керівники – проф. О. В. Співаковський, проф. М.С. Львов
Наукові та технологічні проблеми інформаційного забезпечення управління сучасним вищим навчальним закладом.
Науковий керівник – проф. О. В. Співаковський
Головний фахівець – Д. Є. Щедролосьєв
Проблеми управління якістю процесів проєктування сучасних програмних систем.
Науковий керівник – проф. М.С. Львов
Головний фахівець – А. В. Булат
Методи проєктування та технології реалізації математичних систем навчального призначення.
Науковий керівник – проф. М.С. Львов
Методи статичного аналізу та формальні специфікації алгебраїчних програм.
Науковий керівник – проф. М.С. Львов
Методи проєктування систем комп'ютерної підтримки практичних занять.
Науковий керівник – доц. Г. М. Кравцов
|