кандидат  фізико-математичних наук
доцент кафедри теоретичної кібернетики
факультету комп’ютерних наук та кібернетики
Київського національного університету імені Тараса Шевченка

Електронна адреса: stavr@i.ua       

Дата народження: 5 березня 1957 року

Освіта та кар’єра

 1973 р.  З золотою медаллю закінчив середню школу № 178 м. Києва.
1979 р.Закінчив Київський державний університет ім. Т. Г. Шевченка, факультет кібернетики, спеціальність – прикладна математика
1979 – 1983 р.рІнженер кафедри теоретичної кібернетики факультету кібернетики Київського державного університету ім. Т. Г. Шевченка
1984 – 1986 р.р.Аспірантура факультету кібернетики Київського державного університету ім. Т. Г. Шевченка, спеціальність – математична кібернетика.
1986 – 1989 р.р.Молодший науковий співробітник кафедри теоретичної кібернетики факультету кібернетики Київського державного університету ім. Т. Г. Шевченка.
1989 р. Захистив кандидатську дисертацію на тему «Скінченні автомати над прямими добутками вільних напівгруп і груп», науковий керівник – кандидат фізико-математичних наук, доцент Горшков П. В.
1989 – 1993 р.р. Асистент кафедри теоретичної кібернетики факультету кібернетики Київського державного університету ім. Т. Г. Шевченка.
1994 р. – теперішній часДоцент кафедри теоретичної кібернетики факультету кібернетики Київського національного університету імені Тараса Шевченка.
Багато років був членом навчально-методичної комісії та членом Вченої ради факультету кібернетики, вченим секретарем кафедри теоретичної кібернетики.
Навчальні дисципліни:
У поточному році“Програмування” (лекції, лабораторні заняття) – інформатика, 1 курс.
“Комп’ютерні мережі” (лекції) – системний аналіз, 2 курс.
“Архітектура обчислювальних систем та комп’ютерні мережі” – інформатика, 2 курс.
“Операційні системи з розподілом часу” (семінари) –інформатика, 4 курс.
“Інформаційні мережі” (лекції) – інформатика, прикладна математика, 1 курс магістри.
У попередні періоди“Дискретна математика” (лекції, практичні заняття) інформатика, 1 курс.
“Комп’ютерні алгебри” (лекції) – інформатика, 1 курс магістри.
спеціальні курси :
“Автомати та формальні мови”,
“Структури даних та алгоритми”,
“Проєктування програмного забезпечення”,
“Елементи криптографії”,
“Основи кодування”
Наукові інтереси :
Математичні основи комп’ютерної алгебри, складність задач і алгоритмів, метаевристичні алгоритми, формальні специфікації у проєктуванні програм, формальні мови та алгоритмічні моделі, мови програмування високого рівня, проєктування програмного забезпечення, основи кодування, елементи криптографії.  
Загальна кількість публікацій – понад 40:

1. Карнаух Т.О., Ставровський А.Б. Теорія графів у задачах (навч. посібн.). – ВПЦ “Київський ун-т”, 2004. – 76 ст.
2. Ставровський А.Б., Карнаух Т.О. Програмування. Перші кроки (підручник). – К.: Діалектика, 2005. – 400 ст.
3. Ставровский А.Б., Карнаух Т.А. Первые шаги в программировании. Самоучитель. – М.: И.д. “Вильямс”, 2006. – 400 с.
4. Карнаух Т.О., Ставровський А.Б. Вступ до дискретної математики (навч. посібн.). – ВПЦ “Київський ун-т”, 2006. – 113 ст.
5. Порублев И.Н., Ставровский А.Б. Алгоритмы и программы. Решение олимпиадных задач. – М.: И.д. “Вильямс”, 2007. – 480 с.
6. Ставровський А.Б., Скляр І.В. Програмуємо правильно (посібн.) К.:Шкільний світ, 2007. – 256 ст.
7. Горшков П. В., Павлив О. Ю., Ставровский А.Б. ПС-автоматы и классы контекстно-свободных языков. «Кибеpнетика», 1993, № 1, с. 20–29 .
8. Проценко В. С., Ставровський А.Б., Чаленко П. Й. Техніка програмування мовою Сі. К.: «Либідь», 1993.
9. Ставровский А.Б. Турбо Паскаль 7.0. Учебник. (рос.) К.: BHV, 2000.
10. Ставровський А.Б., Скляр І.В. Базовий курс програмування для фізико-математичних шкіл. К.: «Агентство «Україна», 2014 .
11. Карнаух Т.О., Ставровський А.Б., Ямборак Р.В. Алгоритми і структури даних в розробці електронної карти міста. – К.: “МП Леся”, 2002. – 72 ст.
12. Карнаух Т.О., Ставровський А.Б., Ямборак Р.В. Алгоритми і структури даних в розробці електронної карти міста. – К.: “МП Леся”, 2002. – 72 ст.  

В 2000-2002 р.р. займався науковим редагуванням і перекладом з англійської мови на російську у видавництві «Діалектика». Редагував чи перекладав наступні книги:

– Ахо А., Сети Р., Ульман Дж. Компиляторы: принципы, технологии и инструменты. М.: И.д. “Вильямс”, 2001;
– Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений. – М.: И.д. “Вильямс”, 2002;
– Эндрюс Г. Основы многопоточного, параллельного и распределенного программирования. – М.: И.д. “Вильямс”, 2003.