В последние годы кафедрой получены фундаментальные научные результаты в следующих основных направлениях:

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

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

Основные спец семинары кафедры:

Спец семинар «Компьютерная лингвистика»
(проф. М.Г.Мальковский, доц. И.А. Волкова, асс. И.Н. Полякова)

Спец семинар «Искусственный интеллект»
(доц. В.Н. Пильщиков, доц. Е.И. Большакова, асс. Е.А. Бордаченкова)

Спец семинар «Программное обеспечение ПЭВМ»
(доц. В.Г. Абрамов, ст. преп. И.Г. Головин)

Спец семинар «Методологии и технологии в распределенных информационных системах»
(к.ф.-м.н. В.В. Леонтьев, асп. А.В. Субботин, асп. К.В. Ахтырченко)

Спец семинар «Обучающие системы»
(проф. Н.П. Трифонов, н.с. В.И. Громыко, н.с. Ю.В. Кучевский)

Спец семинар «Языки программирования»
(к.ф.-м.н. С.И. Рыбин, к.ф.-м.н. А.Л. Александров)

Спец семинар «Языки и трансляторы»
(доц. Т.В. Руденко)

Спец семинар «Методы синтаксического анализа»
(ст. преп. Л.И. Станевичене, н.с. А.А. Вылиток)

Спец семинар «Компьютерная алгебра»
(проф. С.А. Абрамов)