ФАКУЛЬТЕТ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ

КАФЕДРА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ

Заведующий кафедрой - Юрий Прокофьевич Кораблин, доктор технических наук, профессор. Является действительным членом Международной Академии Информатизации.

Кафедра осуществляет подготовку по специальностям:

• специальность 230105.65 «Программное обеспечение вычислительной техники и автоматизированных систем», квалификация – Инженер
• направление подготовки 230100.62 «Информатика и вычислительная техника», квалификация – бакалавр техники и технологии

 Преподавательский состав | Список дисциплин

Научные направления:

Рекурсивные сети Петри и моделирование систем (д.ф.-м.н., профессор Ломазова Ирина Александровна);

Семантика языков параллельных вычислений и управление распределенными системами (д.т.н., профессор Кораблин Юрий Прокофьевич);

Формальные модели и языки функционально-логического программирования (д.т.н., доцент Фальк Вадим Николаевич);

Геометрия в целом (д.ф-м.н., профессор Ионин Владимир Кузьмич);

Логический подход к искусственному интеллекту (д.т.н., профессор Вагин Вадим Николаевич);

Автоматизация систем обработки информации (д.ф-м.н., с.н.с. Рубальский Григорий Борисович).

Научно-исследовательские проекты:

«Исследование и разработка инструментальных средств создания экспертных систем семиотического типа» (научные руководители: Вагин В.Н., Загорянская А.А.);

«Разработка и исследование семантических методов анализа параллельных и распределенных систем» (научные руководители: Кораблин Ю.П.);

«Разработка и исследование методов и алгоритмов планирования процессов в многоагентных системах» (научные руководители: Фальк В.Н., Кутепов В.П. (МЭИ));

«Разработка и реализация системы функционально-логического программирования высокого уровня FALGOL-S» (научный руководитель: Фальк В.Н.);

«Верификация и тестирование программ» (научные руководители: Кораблин Ю.П., Куликова Н.Л.);

«Геометрия обобщенных римановых пространств» (научный руководитель: Ионин В.К.)

 Монографии и публикации | Учебные пособия