Вы здесь

Калиниченко Леонид Андреевич

Версия для печатиSend by email

Профессор кафедры АСВК

Ученая степень: 
д-р физ.-мат. наук
канд. техн. наук

Родился 10.06.1937, г. Киев. Профессор кафедры, заведующий лабораторией композиционных методов проектирования информационных систем Института проблем информатики РАН (ИПИ РАН).

Окончил радиотехнический факультет Киевского политехнического института (1959). Кандидат технических наук (1968), тема диссертации: «Принципы мультипрограммной организации вычислительного процесса в математических цифровых машинах». Доктор физико-математических наук (1985), тема диссертации: «Методы и средства интеграции неоднородных баз данных». Ученое звание — профессор (1990).

Лауреат Государственной премии СССР в области науки и техники (1986).

Член специализированного Совета при ИПИ РАН. Член редакционной коллегии журнала «Distributed and parallel databases» (Kluwer Academic Publishers).

Инициатор двух регулярно проводимых научных конференций: Восточно-Европейской конференции «Advances in Databases and Information Systems» (с 1997) и Российской конференции по электронным библиотекам (с 1999). Председатель Наблюдательного совета Восточно-Европейской конференции «Advances in Databases and Information Systems». Член ACM, председатель Московской секции ACM SIGMOD.

С 1959 по 1969 гг. работал в Институте кибернетики АН УССР, с 1969 по 1985 гг. — в Институте электронных управляющих машин Министерства приборостроения. С 1985 г. работает в ИПИ РАН.

В Московском университете работает по совместительству с 1978 г. на кафедре АСВК факультета ВМК.

Области научных интересов включают методы интеграции неоднородных информационных и программных ресурсов в распределенных системах, композиционные методы проектирования распределенных систем из компонентов, методы и средства организации решения задач в инфраструктурах множественных неоднородных информационных ресурсов. Л.А. Калиниченко получены следующие основные результаты:
— разработан язык имитационного моделирования систем с дискретными событиями (СЛЭНГ) и создана система его поддержки (компилятор и интерпретатор)
— разработан и реализован в системе СКИФ подход к созданию средств имитационного моделирования систем, не зависящих от языка программи- рования;
— разработаны методы и средства интеграции неоднородных баз данных;
— разработаны методы и средства композиционного проектирования информационных систем из компонентов на основе принципа доказательного уточнения спецификаций требований компонентами;
— разработаны методы создания посредников неоднородных информационных ресурсов для поддержки процесса решения задач над такими ресурсами в различных областях науки.

В МГУ подготовил и прочел более 5 лекционных курсов, в том числе: «Модели данных в системах управления базами данных», «Распределенные объектные технологии», «Объектные базы данных».

Подготовил 10 кандидатов наук. Автор более 150 научных работ, в том числе пяти книг. Основные пуб- ликации: Методы и средства интеграции неоднородных баз данных — М., Наука, 1983, 423 с.; Машины баз данных и знаний — М., Наука, 1990, 294 с. (соавт. Рывкин В.М.); Method and tools for equivalent data model mapping construction // Proc. of the International Conference on Extending Database Technology — Springer, Lecture Notes in Computer Science, 1990, 416, pp. 92– 119; СИНТЕЗ — язык определения, программирования и проектирования интероперабельных сред неоднородных информационных ресурсов — М., ИПИ РАН, 1993, 113 с.; Workflow reuse and semantic interoperation issues // Proc. of the NATO ASI «Advances in Workflow Management Systems and Interoperation» — Springer NATO ASI Series, 1998, pp. 439–490; Compositional Specification Calculus for Information Systems Development // Proc. of the East European Symposium on «Advances in Databases and Information Systems» — Springer Lecture Notes in Computer Science, 1999, 1691, pp. 317–331; Canonical model development techniques aimed at semantic interoperability in the heterogeneous world of information modeling // Proc. of the CAiSE Workshop on «Knowledge and model driven information systems engineering for networked organizations» — Riga, 2004, pp. 101–116.