English
Русский
УкраїнськаЛьвов Михайло Сергійович
1971 Київський національний університет ім. Т.Г. Шевченко, факультет кібернетики. (спеціальність - математика, кваліфікація – теоретична кібернетика)
1980 Аспірантура при Інституті кібернетики НАН України. Спеціальність-математична кібернетика.
1975-1988 рр викладач математики фізико-математичного факультету ХДПІ.
1988-1993 рр завідувач кафедри інформатики та обчислювальної техніки ХДПІ
1993-2001 доцент кафедри прикладної математики та інформаційних технологій ХДУ
2001-2003 доцент кафедри прикладної математики та інформаційних технологій ХДУ, завідувач лабораторії розробки та впровадження педагогічних програмних засобів
З 2003 директор науково-дослідного інституту інформаційних технологій ХДУ;
- Програмування
- Об’єктно-орієнтоване проектування
- Спеціальні мови програмування
- Дискретна математика
- Математична логіка та теорія алгоритмів
- Ефективні алгоритми та структури даних
- Основи комп’ютерної алгебри
- Теоретичне програмування
Методологія алгебраїчного програмування, прикладні задачі комп’ютерної алгебри, статичний аналіз програм (теорія програмних інваріантів), моделі та методи розробки математичних систем навчального і наукового призначення.