Терехов
Андрей
Николаевич

д.ф.-м.н., профессор
заведующий кафедрой системного программирования СПбГУ
генеральный директор
ЗАО Ланит-Терком

Системное программирование

Разработка операционных систем, баз данных (именно разработка, а не использование), инструментальных средств. Особый упор предполагается сделать на использовании графических средств проектирования ПО (на базе стандарта UML, специализированные средства на базе DSL), средства контроля за ходом разработки и другие вопросы управления проектами.
Если будут хорошие доклады, то интересны также вопросы реализации новых сервисов в Интернете и мобильной телефонии.

чт 28 апреля		дневная секция
ауд. 405

Куликов Е.К.

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

Хохлова Д.Д.

Разработка мобильного приложения для идентификации абонентов на базе Android и Microsoft Azure

Чугаева Т.В., Губанов Ю.А., Тимофеев Н.М.

Поиск связей между сущностями в криминалистическом анализе цифровых источников данных

Никольский К.А., Мордвинов Д.А.

Формальная верификация многопоточного скриптового окружения

Кавокин А.С., Сартасов С.Ю.

Передача сообщений в mesh-сети с минимальными затратами энергии

Шагал А.А.

Решение задачи о подписке в системе алгоритмической торговли

Жуков Р.С.

Методы реконструкции статических трехмерных сцен с использованием алгоритмов автоматичекого определения положения и фокусного расстояния камер