Летичевський Олександр Олександрович
Доктор фізико-математичних наук, старший науковий співробiтник
Тел.: +38 (044)526-00-58
Email: oleksandr.letychevskyi@litsoft.com.ua
Біографія
Народився 31 січня 1960 року в м. Києві. Після закінчення фізико-математичної школи вступив на навчання у 1976 році до Київського державного університету на факультет кібернетики (спеціальність ‑ прикладна математика).
1981 — 1984 роки ‑ працював в Спеціальному конструкторському бюро математичних машин і систем Інституту кібернетики імені В.М. Глушкова (нині ‑ Інститут проблем математичних машин і систем НАН України) на посаді інженера, потім був командиром радіо-локаційного взводу в армії, в протиповітряних військах. Після армії поступив в аспірантуру Інституту кібернетики імені В.М. Глушкова, науковий керівник – проф. Ю.В. Капітонова.
О.О. Летичевський працював в Інституті кібернетики після закінчення аспірантури. Він також працював в компанії ЛітСофт програмістом та архітектором програмних систем. Останні двадцять років О.О. Летичевський працює в Інституті кібернетики як науковий співробітник. Наразі очолює відділ теорії цифрових автоматів.
Наукові інтереси
У 2006 році захистив кандидатську дисертацію за темою «Верифікація та тестування інтерактивних систем специфікованими базовими протоколами» та в 2016 році докторську – тема «Символьні методи в тестуванні та верифікації високонадійних програмних систем».
Працює над сучасними програмними системами та провідними алгебраїчними теоріями – алгебраїчне та інсерційне програмування, кібербезпека та розробка супернадійних систем, працює в області використання формальних методів у верифікації та тестуванні програмного та апаратного забезпечення, в тому числі блокчейн-платформи та розподілені системи.
Роботи О.О. Летичевського були використані компанією MOTOROLA в галузі формальної верифікації. Він співпрацював з багатьма компаніями із США, був контрактором Міссурійського університету (Rolla). Розробки О.О. Летичевського з кібербезпеки та модельних методів впроваджено в роботу низки підприємств України, зокрема, в галузі ядерної енергетики.
Основні результати
О.О. Летичевський має понад 70 наукових праць, 1 монографію, 4 авторських свідоцтва.
Лауреат Державної премії України в галузі науки і техніки 2019 року за роботу «Забезпечення функціональної безпеки критичних інформаційно-керуючих систем». (Указ Президента України від 13 січня 2020 року № 4).