Шкільняк Степан Степанович

Шкільняк Степан Степанович
Народився	24 травня 1951(1951-05-24) (72 роки) Тернопіль, Українська РСР, СРСР
Діяльність	кібернетик, викладач університету
Alma mater	Факультет кібернетики Київського національного університету імені Тараса Шевченка (1973)
Заклад	КНУ імені Тараса Шевченка
Науковий ступінь	доктор фізико-математичних наук (2010)
Науковий керівник	Редько Володимир Никифорович
Діти	Шкільняк Оксана Степанівнаd
Нагороди

Шкільняк Степан Степанович (24 травня 1951, м. Тернопіль) — український кібернетик, доктор фізико-математичних наук (2010).

Біографія

1973 року закінчив факультет кібернетики Київського національного університету імені Тараса Шевченка.

Працює в Київському університеті після закінчення аспірантури 1977 року.

Кандидатська дисертація «Дослідження синтаксичної структури мов програмування» (1979).

2010 — доктор фізико-математичних наук, за темою «Теорія інтегрованих композиційно-номінативних моделей програм».

Наукові інтереси

• синтаксичної структури мов програмування
• програмні алгебр та логіки

Відзнаки

• Лауреати Державної премії України в галузі освіти (2018)
• Премія імені Тараса Шевченка Київського національного університету імені Тараса Шевченка (2010)

Джерела

• Шкільняк Степан Степанович на сайті кафедри
• Енциклопедія факультету кібернетики