история


Кафедра Теории и Технологии Программирования

Стремительное развитие вычислительной техники, начавшееся в конце 60-х годов теперь уже минувшие столетия, вызвало значительный рост потребностей в специалистах по программированию, которые бы могли не только эффективно использовать существующие ЭВМ, но и вести активные научные исследования по широкому кругу вопросов в области автоматизированного управления, языковых процессоров, информационных систем и технологий. Поэтому логичным было создания в ноябре 1971 года кафедры теории программирования. Ее основателем и первым заведующим стал профессор В.Н. Редько. В 2002 году кафедру возглавил доктор физико-математических наук, профессор Н. С. Никитченко.

Главным направлением научных исследований кафедры является теоретическая и прикладная программология, основу которой составляет експликативное программирование – теория дескриптивных и декларативных программных формализмов, которые выступают адекватными моделями структур данных, программ и средств их конструирования. В рамках этого направления удалось найти решение ряда проблем, которые имеют фундаментальное значение для путей дальнейшего развития информатики и информационных технологий.

На кафедре ведутся роботы по исследованию и созданию инструментальных средств поддержки баз данных/знаний в адаптивных технологиях программирования, разработка объектно-ориентированных инструментальных средств построения учебных сред на базе композиционных технологий. Их практическим воплощением стали Параметрические Системы Программирования, которые поддерживали реализацию классов языков программирование в режиме трансляции и режиме интерпретации, комплексы Дефиниторного Процессирования, ориентированные на дефиниции рекурсивного типа, системы Композиционного Автоматизированного Синтеза, Система Комплексной Информатизации как реализация дескриптивных CASE-технологий и АДИС – сетевой вариант адаптивной информационно-аналитической системы.

Плодотворные научные исследования стали основанием для чтения на факультете кибернетики новых учебных курсов, которые с течением времени вошли в учебные планы других вузов страны. Это курсы по современных проблем кибернетики, математической логике, теории алгоритмов, программированию, базам данных, информационным технологиям и программной инженерии.

За годы существования кафедра выпустила больше 400 специалистов в области информатики для народного хозяйства страны. Среди воспитанников кафедры ведущие специалисты по информатики профессора А. В. Анисимов, Д. Б. Буй, Н. Н. Глибовець, А.Ю. Дорошенко, Л. П. Лисовик, Н. С. Никитченко, Народные депутаты Украины Б. Губский, А. Билоус, руководители известных фирм из области информационных технологий. Много выпускников кафедры успешно работают в ведущих международных компьютерных институтах и фирмах.

На кафедре за годы существования выросла крепкая научная школа с большими международными творческими связями. Ее ученики из Германии, Чехии, Словакии, Индии и Вьетнаму плодотворно работают в своих странах. Всего кафедра воспитала 44 кандидата и 5 докторов наук.

Научная и педагогическая деятельность кафедры получила признание в Украине и за границей. Проф. В.Н. Редько в 1984 г. был награжден орденом Дружбы народов. Его работы в области новых информационных технологий были отмечены премией им. В.М. Глушкова НАН Украины за 1992 г. В том же году он был избран членом-корреспондентом, а в 2000 г. – академиком Национальной Академии Наук Украины. В 2002 г. он получило почетное звание «Заслуженный профессор Киевского национального университета имени Тараса Шевченко».

Профессора кафедры Д. Б. Буй, А.Ю. Дорошенко, Л. П. Лисовик, Н. С. Никитченко, В.Н. Редько являются членами программных комитетов престижных международных конференций, членами редколлегий международных научных журналов, членами и руководителями научных советов разного уровня, они неоднократно работали приглашенными профессорами в ведущих университетах мира.

В настоящее время на кафедре работает 18 преподавателей и научных сотрудников, из них 5 профессоров, докторов физико-математических наук и 8 доцентов, кандидатов физико-математических наук. Этот значительный научно-педагогический потенциал кафедры позволяет ей решать сложные современные проблемы теоретической информатики, которые направлены на создания новых информационных технологий.

Новини
Дошка оголошень
Цікаві факти