Наукова робота

Оновлено: 29.11.2017

Основні теми та напрями  досліджень


Методи комп`ютерної алгебри та інерційного модулювання в системах статичного аналізу і верифікації програмного забезпечення.

Науковий керівник– проф. М.С. Львов


Розроблення системи управління якістю електронних освітніх ресурсів вищих навчальних закладів.

Науковий керівник – доц. Г. М. Кравцов


Інформаційні технології навчання у вищих навчальних закладах та методика їх використання.

Науковий керівник – проф. О. В. Співаковський


Науково-методичні проблеми розробки сучасних педагогічних програмних засобів (електронних підручників нового покоління).

Наукові керівники – проф. О. В. Співаковський, проф. М.С. Львов


Наукові та технологічні проблеми інформаційного забезпечення управління сучасним вищим навчальним закладом.

Науковий керівник – проф. О. В. Співаковський
Головний фахівець –  Д. Є. Щедролосьєв


Проблеми управління якістю процесів проєктування сучасних програмних систем.

Науковий керівник – проф. М.С. Львов
Головний фахівець –  А. В. Булат


Методи проєктування та технології реалізації математичних систем навчального призначення. 

Науковий керівник – проф. М.С. Львов


Методи статичного аналізу та формальні специфікації алгебраїчних програм.

Науковий керівник – проф. М.С. Львов


Методи проєктування систем комп'ютерної підтримки практичних занять.

Науковий керівник – доц. Г. М. Кравцов