Летичевський Олександр Олександрович

Олександр Олександрович Летичевський (31 січня 1960, Київ) — український кібернетик, доктор фізико-математичних наук (2016), завідувач відділу теорії цифрових автоматівІнституту кібернетики імені В. М. Глушкова НАН України.

Летичевський Олександр Олександрович
Народився	31 січня 1960(1960-01-31) (64 роки) Київ, Українська РСР, СРСР
Діяльність	кібернетик
Alma mater	Факультет кібернетики Київського національного університету імені Тараса Шевченка (1981)
Заклад	Інститут кібернетики імені В. М. Глушкова НАН України^[1]
Науковий ступінь	доктор фізико-математичних наук (2016)
Науковий керівник	Капітонова Юлія Володимирівна і Сергієнко Іван Васильович
Батько	Летичевський Олександр Адольфович
Нагороди

Життєпис

Народився 31 січня 1960 у Києві у родині українського кібернетика, майбутнього академіка Олександра Адольфовича Летичевський.

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

Після закінчення університету працював в Спеціальному конструкторському бюро математичних машин і систем Інституту кібернетики імені В. М. Глушкова (нині — Інститут проблем математичних машин і систем НАН України).

Працює в Інституту кібернетики імені В. М. Глушкова НАН України після закінчення аспірантури: молодший науковий співробітник, старший науковий співробітник, завідувач відділу.

Кандидатська дисертація «Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів» (2005, науковий керівник — доктор фізико-математичних наук Юлія Капітонова).

У 2007 році захистив докторську дисертацію на тему «Символьні методи в тестуванні та верифікації високонадійних програмних систем» (науковий консультант — Іван Сергієнко).

Родина

• Прадід — оперний співак, заслужений артист УРСР (1874—1958).
• Дід — актор, режисер Київського державного театру російської драми (1914—1941).
• Бабуся — акторка театру і кіно Наталія Гебдовська (1910—2004).
• Батько — науковець-кібернетик, доктор фізико-математичних наук Олександр Летичевський (1935—2019).
• Брат — актор Київського державного театру російської драми (1963—1996).

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

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

Науковий доробок

Автор понад 70 наукових робіт, монографії та 4 авторських свідоцтв.

Державні нагороди

• Державна премія України в галузі науки і техніки 2019 року — за роботу «Забезпечення функціональної безпеки критичних інформаційно-керуючих систем» (у складі колективу)

Джерела

• Летичевський Олександр Олександрович на сайті Національної академії наук України
• Летичевський Олександр Олександрович на сайті Інституту кібернетики імені В. М. Глушкова НАН України

Примітки

1. Montenegro A. ORCID Public Data File 2023 — 2023. — doi:10.23640/07243.24204912.V1
   d:Track:Q123508386
2. Летичевський Олександр Олександрович на сайті Інституту кібернетики імені В. М. Глушкова НАН України
3. Летичевський Олександр Адольфович
4. Указ Президента України від 13 січня 2020 року № 4/2020 «Про присудження Державних премій України в галузі науки і техніки 2019 року»