Кафедра программирования ММФ НГУ создана в 1993 году. Первым её заведующим стал профессор, д.ф.-м.н. И. В. Поттосин. С 2001 года кафедрой руководит д.ф.-м.н., профессор А. Г. Марчук.
Задачей кафедры является подготовка высококвалифицированных специалистов в области теоретического и системного программирования.
На направлении «Математика и компьютерные науки» кафедра реализует бакалаврский профиль «Системное программирование» (группа профиля ВКонтакте) и магистерский профиль «Формальны методы в анализе программ и систем». Кроме того, кафедра совместно с кафедрой Дискретной математики и информатики Механико-математического факультета и кафедрой Фундаментальной и прикладной лингвистики Гуманитарного института участвует в реализации магистерского профиля «Компьютерная лингвистика».
Тематика работы кафедры
- Методы и средства трансляции языков программирования. Семантический анализ, верификация и оптимизация. Тестирование программ. Понимание и перепроектирование программных систем
- Архитектуры интеллектуальных систем поддержки принятия решений на основе онтологий
- Разработка методов, программных средств и технологии построения интеллектуальных информационных систем на основе онтологического подхода
- Разработка методов и программных средства извлечения знаний и данных из текстов на основе лингвистических ресурсов
- Методы визуализации и навигации по иерархическим структурам большого объема, представленных в виде графов
- Визуализация свойств сложных систем. Геоинформационные комплексы моделирования и анализа социально-экономических проблем
- Алгоритмы и программный инструментарий для исследования процессов генной регуляции
- Разработка интерактивного 3D-симулятора для анализа и моделирования нейронно-мышечных механизмов
- Методы и средства анализа данных, в том числе видео и аудио. Вычислительная геометрия и САПР
