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

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

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

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

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

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

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

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

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

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

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

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

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

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

Це незавершена стаття про українського науковця. Ви можете допомогти проєкту, виправивши або дописавши її.