Константин Савенков

Computer Science

[English version]

Моя профессия — исследования в области computer science, программирование на С++ (ну и perl, остальное — эпизодически), в последнее время — управление научно-исследовательскими проектами. Защитил кандидатскую диссертацию, тема: "Масштабирование дискретно-событийных имитационных моделей"(к.ф.-м.н., специальность 05.13.11). Читаю курс "Верификация программ на моделях" студентам 4 курса факультета ВМиК МГУ.

Области интересов

Ниже перечислены основные области моих научно-исследовательских интересов. Та работа, которую я веду, находится на стыке этих областей, поэтому деление условное.

Теория параллелизма:

Имитационное моделирование:

Верификация программ:

Статический анализ и трансформация программ:

Информационная безопасность:

Автоматизация финансового анализа

Студенты

3 курс: 4 курс:

Работы студентов прошлых лет

Публикации

  1. Savenkov, K.O., and Telegin, G.S., Efficient and Safe Algorithm for Moving Along a Given Route in City Traffic // In Proceedings of World Automotive Congress (FISITA-2010), Hungary, June 2010.
  2. Savenkov, K.O., and Zhbankov, D.Yu., Scenario-Based Approach to Backtesting Trading Systems // In Proceedings of World Finance Conference (WFC-2010), Portugal, May-June 2010.
  3. Chemeritskiy, E.V., Savenkov, K.O., Formalization and Enforcement of Requirements to Modular Discrete-Event Simulation Runtime // In Proceedings of SYRCoSE-2010, Nizhny Novgorod, Russia, June 2010.
  4. Савенков К.О., Чемерицкий Е.В. Среда выполнения дискретно-событийных имитационных моделей: от универсальности к расширяемости и повторному использованию // Труды Международной научной конференции "Моделирование-2010", Киев, Украина, май 2010, стр. 107-115.
  5. Савенков К.О. Масштабирование дискретно-событийных имитационных моделей // Диссертация (кф-мн, 05.13.133), ф-т ВМиК МГУ, октябрь 2007. [автореферат][текст диссертации]
  6. Савенков К.О., Смелянский Р.Л., Масштабирование дискретно-событийных имитационных моделей // Программирование, 2006, No. 6, стр. 308-317.
  7. Савенков К.О. Использование зависимостей при масштабировании имитационных моделей // Методы и средства обработки информации. Труды второй Всероссийской научной конференции. - М.: Издательский отдел факультета вычислительной математики и кибернетики МГУ им. М.В. Ломоносова, 2005. - С.428-434
  8. Савенков К.О., Ющенко Н.В. Методика описания поведения процессора для оценки времени выполнения программы // Труды Всероссийской научной конференции "Методы и средства обработки информации" (1 октября - 3 октября 2003 г., г. Москва) -М.: Издательский отдел факультета ВМиК МГУ, 2003. - С. 486-491

©  Konstantin Savenkov, 2003-2006
savenkov@cs.msu.su

Яндекс цитирования