Відділ теорії цифрових автоматів (О.А.Летичевський) |
Завідувач відділу - Летичевський Олександр Адольфович, академік Національної академії наук України, доктор фізико-математичних наук, професор, Заслужений діяч науки і техніки України.
Відділ засновано 1957 року академіком В.М. Глушковим, який очолював його до 1982 р. У відділі працюють 33 співробітники, серед них - академік НАН України, 2 доктори та 15 кандидатів наук. З 1982 по 2008 рік відділ очолювала Капітонова Юлія Володимирівна, професор, Заслужений діяч науки і техніки України. У 1981 році із складу відділу було виділено відділ Рекурсивних Обчислювальних Машин (РОМ), очолений доктором фізико-математичних наук О.А.Летичевським. В задачі цього відділу входила розробка теоретичних та прикладних питань системного математичного забезпечення суперкомп’ютерної макроконвейерної ЕОМ. На протязі всіх років свого існування до 2008 року відділ РОМ тісно взаємодіяв з відділом ТЦА приймаючі участь в спільних дослідженнях та розробках. У 2008 році відділ РОМ та відділ ТЦА було злито.
ОСНОВНІ НАПРЯМИ НАУКОВОЇ ДІЯЛЬНОСТІ:
-
прикладна теорія алгоритмів: автоматно-алгебраїчні моделі обчислювальних систем, теорія проектування обчислювальних систем, алгоритмічні мови високого рівня, паралельні обчислення;
-
алгебраїчна теорія взаємодії агентів та середовищ, інерційне моделювання та їх застосування;
-
алгебраїчне програмування та комп'ютерна алгебра;
-
теорія та розробка дедуктивних систем штучного інтелекту, інтелектуальні інформаційні технології;
-
технології розробки надійного та ефективного програмного забезпечення;
-
дослідження та розробка моделей взаємодії людини з комп'ютерним середовищем.
ОСТАННІ НАЙВАЖЛИВІШІ РЕЗУЛЬТАТИ
Фундаментальні:
- розроблено математичні основи проектування обчислювальних систем;
- розроблено основи теорії тестування систем на підставі специфікації об'єктів тестування як інсерційних моделей;
- розроблено алгоритми перевірки несуперечності та повноти вимог до програмних систем;
- розроблено версію алгоритму очевидності В.М. Глушкова для застосування у верифікаційних системах;
- створено алгебраїчну теорію взаємодії агентів і середовищ;
- створено теорію інсерційного моделювання розподілених систем;
- розроблено технологію алгебраїчного програмування та його застосування для різних прикладних областей;
- розроблено технологію верифікації вимог та специфікацій із застосуванням дедуктивних методів.
Прикладні:
- розроблено систему алгебраїчного програмування, на базі якої створено технологічні засоби верифікації систем;
- розроблено програмне середовище, що моделює взаємодію людини та комп'ютера, для обчислення параметрів стану користувача та вироблення рекомендацій щодо вдосконалення його робочого місця.
- розроблено систему інсерційного програмування для створення прикладних систем; розроблено систему верифікації вимог і специфікацій для фірми МОТОРОЛА. 8.10. 2009.
Склад наукових працівників відділу № 100
|
ПІБ |
Посада |
Контакти |
|
Алєксєєв Дмитро Анатолійович |
с.н.с. |
|
|
Атдаєва Світлана Григорівна |
м.н.с. |
|
|
Борисов Євген Сергійович |
н.с. |
|
|
Волков Владислав Анатолійович |
н.с. |
|
|
Герман Віталій Микалайович. |
м.н.с. |
|
|
Годлевський Олександр Богуславович |
с.н.с. |
|
|
Гребнев Валерій Олександрович |
с.н.с. |
|
|
Гречко Валерій Олегович |
с.н.с. |
|
|
Довбиш Валентина Яківна |
гол. мат. |
(044) 526 00 58 |
|
Єфімова Лариса Дмитрівна |
м.н.с. |
|
|
Колбасін Микола Іванович |
с.н.с. |
|
|
Коломейко Володимир Вікторович |
с.н.с. |
|
|
Колчин Олександр Валентинович |
м.н.с. |
|
|
Криковлюк Олександр Петрович |
н.с. |
|
|
Летичевський Олександр Адольфович |
зав.від. |
|
|
Летичевський Олександр Олександрович |
н.с. |
|
|
Лябах Володимир Федорович |
н.с. |
(044) 526 00 58 |
|
Матвєєва Людмила Євгенівна |
с.н.с. |
|
|
Мітченко Олександр Іванович |
с.н.с. |
|
|
Мороховець Марина Костянтинівна |
с.н.с. |
|
|
Пинько Олексій Павлович |
с.н.с. |
|
|
Потієнко Степан Валерійович |
п.м. |
(050) 358 15 56 |
|
Сейфуллін Тимур Рустемович |
с.н.с. |
|
|
Філіжанко Ольга Дмитрівна |
н.с. |
(044) 526 22 78 |
|
Чугаїнко Олексій Васильович |
м.н.с. |
|
|
Щоголева Наталя Миколаївна |
н.с. |
|
|
Яковлєв Віктор Михайлович |
п.м. |
Контакти
Карта сайту