Кафедра теоретической информатики

Кафедра теоретической информатики возникла в 1986 году одновременно с созданием факультета информатики и вычислительной техники (ИВТ) ЯрГУ, но до 1993 года называлась кафедрой системного программирования. Кафедра непосредственно участвовала в исследованиях по разработке системного программного обеспечения в рамках проекта создания отечественных супер-ЭВМ.

Кафедра участвует в реализации многоуровневой системы подготовки специалистов на факультете ИВТ, является выпускающей кафедрой по направлению «Фундаментальная информатика и информационные технологии» (бакалавриат и магистратура), участвует в подготовке бакалавров и магистров по направлениям «Прикладная математика и информатика» и «Прикладная информатика (в экономике)».

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

В общей тематике исследований, ведущихся на кафедре и объединяемых под названием «Моделирование и анализ информационных систем», можно выделить следующие основные направления:
  • формально-логические модели распределенных систем, их анализ и верификация;
  • моделирование, анализ и верификация протоколов передачи данных в информационных сетях;
  • программно-конфигурируемые сети, включая сети подвижных объектов;
  • алгоритмы и программные средства обработки информации;
  • вероятностные модели вычислительных процессов и систем;
  • дискретная оптимизация и базы данных.

Сотрудники кафедры

Кузьмин Егор Владимирович Кузьмин Егор Владимирович
заведующий кафедрой
д.ф.-м.н.
Соколов Валерий Анатольевич Соколов Валерий Анатольевич
профессор
д.ф.-м.н.
Тимофеев Евгений Александрович Тимофеев Евгений Александрович
профессор
д.ф.-м.н.
Башкин Владимир Анатольевич Башкин Владимир Анатольевич
профессор
д.ф.-м.н.
Белов Юрий Анатольевич Белов Юрий Анатольевич
доцент
к.ф.-м.н.
Парфенов Павел Геннадьевич Парфенов Павел Геннадьевич
доцент
к.ф.-м.н.
Смирнов Александр Валерьевич Смирнов Александр Валерьевич
доцент
к.ф.-м.н.
Горбунов Олег Евгеньевич Горбунов Олег Евгеньевич
доцент
к.ф.-м.н.
Корсаков Станислав Валентинович Корсаков Станислав Валентинович
доцент
Сажин Сергей Витальевич Сажин Сергей Витальевич
ассистент
Антошина Екатерина Юрьевна Антошина Екатерина Юрьевна
Инженер-программист
Абрамов Сергей Михайлович Абрамов Сергей Михайлович
профессор
д.н.
Овченков Николай Иванович Овченков Николай Иванович
доцент
к.т.н.
Грибова Елена Николаевна Грибова Елена Николаевна
доцент
к.т.н.
  • 35
    лет факультету
  • Более 2000
    выпускников
Подавать сертификаты ЕГЭ вместе с другими документами не нужно, ваши баллы будут проверяться в федеральной базе.