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

СПЕЦИАЛИЗАЦИЯ СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ
Куратор БЫСТРОВ Александр Васильевич
к.ф.-м.н., с.н.с, Институт систем информатики СО РАН
Тел. 330-63-60, avb@iis.nsk.su

Базовые организации:

Институт систем информатики СО РАН,
НГУ, ИВТ СО РАН, ИВМиМГ СО РАН, ИАиЭ СО РАН, КТИ ВТ, Parallels и др.

Проблематика работ весьма широкая, представление о ней можно составить по некоторым темам дипломных работ последних двух лет:

  • Архитектура защищенной базы данных
  • Защищенная база данных. Реализация алгоритмов обработки запросов
  • Методы тестирования менеджера блокировок
  • Разработка алгоритма сжатия видео для системы приграничного видеонаблюдения
  • Генерация и доказательство формул корректности предикатных программ
  • Разработка унифицированного интерфейса к решателям условий корректности
  • Автоматизация сбора и анализ метрик программного кода для языка PHP
  • Исследование и разработка методов интеграции открытых связанных данных
  • Разработка мобильного приложения для просмотра дополненной реальности архитектурных объектов
  • Разработка детского обучающего мобильного приложения на платформе iOS
  • Разработка мобильной части универсальной системы автоматизации работы госпиталей